03427nam 2200613 450 991046343370332120200520144314.01-60807-473-0(CKB)2670000000327379(EBL)1115666(OCoLC)827208675(SSID)ssj0000873452(PQKBManifestationID)11560564(PQKBTitleCode)TC0000873452(PQKBWorkID)10878011(PQKB)11106807(MiAaPQ)EBC1115666(Au-PeEL)EBL1115666(CaPaEBR)ebr10818324(CaBNVSL)mat09100470(IEEE)9100470(EXLCZ)99267000000032737920200730d2012 uy engur|n|---|||||txtccrEngineering safe and secure software systems /C. Warren AxelrodBoston :Artech House,[2013][Piscataqay, New Jersey] :IEEE Xplore,[2012]1 online resource (349 p.)Artech House information security and privacy seriesArtech House information security and privacy seriesDescription based upon print version of record.1-60807-472-2 Includes bibliographical references and index.1. Introduction -- 2. Engineering Systems -- 3. Engineering Software Systems -- 4. Engineering Secure and Safe Systems, Part 1 -- 5. Secure and Safe Systems, Part 2 -- Secure and Safe Systems, Part 2 -- 6. Software Systems Security and Safety Risk -- 7. Software System Security and Safety Metrics -- 8. Software System Development Processes -- 9. Secure SSDLC Projects in Greater Detail -- 10. Safe SSDLC Projects in Greater Detail -- 11. The Economics of Software Systems' Safety and Security -- Appendices."This first-of-its-kind resource offers a broad and detailed understanding of software systems engineering from both security and safety perspectives. Addressing the overarching issues related to safeguarding public data and intellectual property, the book defines such terms as systems engineering, software engineering, security, and safety as precisely as possible, making clear the many distinctions, commonalities, and interdependencies among various disciplines. You explore the various approaches to risk and the generation and analysis of appropriate metrics. This unique book explains how processes relevant to the creation and operation of software systems should be determined and improved, how projects should be managed, and how products can be assured. You learn the importance of integrating safety and security into the development life cycle. Additionally, this practical volume helps identify what motivators and deterrents can be put in place in order to implement the methods that have been recommended."Artech House information security and privacy series.Software engineeringSystems engineeringElectronic books.Software engineering.Systems engineering.620.001/171Axelrod C. Warren491322CaBNVSLCaBNVSLCaBNVSLBOOK9910463433703321Engineering safe and secure software systems2245124UNINA06602nam 22008415 450 99646601790331620200701040022.03-642-00609-410.1007/978-3-642-00609-8(CKB)1000000000718138(SSID)ssj0000319174(PQKBManifestationID)11250090(PQKBTitleCode)TC0000319174(PQKBWorkID)10336635(PQKB)10122414(DE-He213)978-3-642-00609-8(MiAaPQ)EBC3064098(PPN)134131053(EXLCZ)99100000000071813820100301d2009 u| 0engurnn#008mamaatxtccrNew Frontiers in Artificial Intelligence[electronic resource] JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers /edited by Hiromitsu Hattori, Takahiro Kawamura, Tsuyoshi Ide, Makoto Yokoo, Yohei Murakami1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (IX, 334 p.)Lecture Notes in Artificial Intelligence ;5447Bibliographic Level Mode of Issuance: Monograph3-642-00608-6 Includes bibliographical references and index.Awarded Papers -- Overview of Awarded Papers – The 22nd Annual Conference of JSAI -- A Japanese Input Method for Mobile Terminals Using Surface EMG Signals -- Evaluation of Similarity Measures for Ontology Mapping -- Network Distributed POMDP with Communication -- Solving Crossword Puzzles Using Extended Potts Model -- Socialized Computers and Collaborative Learning -- Learning Communicative Meanings of Utterances by Robots -- Towards Coordination of Multiple Machine Translation Services -- Ranking Method of Object-Attribute-Evaluation Three-Tuples for Opinion Retrieval -- Logic and Engineering of Natural Language Semantics -- Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2008 -- Multiple Subject Constructions in Japanese: A Dynamic Syntax Account -- Topic/Subject Coreference in the Hierarchy of Japanese Complex Sentences -- Japanese Reported Speech: Against a Direct–Indirect Distinction -- The Dynamics of Tense under Attitudes – Anaphoricity and de se Interpretation in the Backward Shifted Past -- Argumentative Properties of Pragmatic Inferences -- Prolegomena to Dynamic Epistemic Preference Logic -- Monads and Meta-lambda Calculus -- Juris-Informatics -- Overview of JURISIN 2008 -- Bootstrapping-Based Extraction of Dictionary Terms from Unsegmented Legal Text -- Computational Dialectics Based on Specialization and Generalization – A New Reasoning Method for Conflict Resolution -- Treatment of Legal Sentences Including Itemized and Referential Expressions – Towards Translation into Logical Forms -- Computing Argumentation Semantics in Answer Set Programming -- Laughter in Interaction and Body Movement -- LIBM 2008 - First International Workshop on Laughter in Interaction and Body Movement -- Laughter around the End of Storytelling in Multi-party Interaction -- Preliminary Notes on the Sequential Organization of Smile and Laughter -- Laughter for Defusing Tension: Examples from Business Meetings in Japanese and in English -- Robots Make Things Funnier -- Laughter: Its Basic Nature and Its Background of Equivocal Impression.This book consists of award papers from the 22nd Annual Conference of the Japanese Society for Artificial Intelligence, held in Asahikawa, Japan, in June 2008 and selected papers from three co-located international workshops. The volume starts with 8 award winning papers of the JSAI 2008 main conference that were selected among more than 400 presentations. They are accompanied by 18 revised full workshop papers, carefully reviewed and selected from 34 presentations at the following three co-located international workshops: Logic and Engineering of Natural Language Semantics (LENLS 2008), the 2nd International Workshop on Juris-Informatics (JURISIN 2008), and the 1st International Workshop on Laughter in Interaction and Body Movement (LIBM 2008).Lecture Notes in Artificial Intelligence ;5447User interfaces (Computer systems)Natural language processing (Computer science)Computer graphicsArtificial intelligenceOptical data processingUser Interfaces and Human Computer Interactionhttps://scigraph.springernature.com/ontologies/product-market-codes/I18067Natural Language Processing (NLP)https://scigraph.springernature.com/ontologies/product-market-codes/I21040Computer Graphicshttps://scigraph.springernature.com/ontologies/product-market-codes/I22013Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Image Processing and Computer Visionhttps://scigraph.springernature.com/ontologies/product-market-codes/I22021Computer Imaging, Vision, Pattern Recognition and Graphicshttps://scigraph.springernature.com/ontologies/product-market-codes/I22005Asahikawa <2008>swdAsahikawa (2008)swdKongress.swdUser interfaces (Computer systems).Natural language processing (Computer science).Computer graphics.Artificial intelligence.Optical data processing.User Interfaces and Human Computer Interaction.Natural Language Processing (NLP).Computer Graphics.Artificial Intelligence.Image Processing and Computer Vision.Computer Imaging, Vision, Pattern Recognition and Graphics.006.3DAT 700fstubSS 4800rvkHattori Hiromitsuedthttp://id.loc.gov/vocabulary/relators/edtKawamura Takahiroedthttp://id.loc.gov/vocabulary/relators/edtIde Tsuyoshiedthttp://id.loc.gov/vocabulary/relators/edtYokoo Makotoedthttp://id.loc.gov/vocabulary/relators/edtMurakami Yoheiedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466017903316New Frontiers in Artificial Intelligence771993UNISA