03593nam 2200721 a 450 991045775290332120200520144314.066132896041-283-28960-197866132896051-60750-711-0(CKB)2550000000050080(EBL)784589(OCoLC)756484723(SSID)ssj0000593392(PQKBManifestationID)12256671(PQKBTitleCode)TC0000593392(PQKBWorkID)10740323(PQKB)10591725(MiAaPQ)EBC784589(Au-PeEL)EBL784589(CaPaEBR)ebr10506356(CaONFJC)MIL328960(EXLCZ)99255000000005008020110209d2011 uy 0engur|n|---|||||txtccrSoftware and systems safety[electronic resource] specification and verification /edited by Manfred Broy, Christian Leuxner and Tony HoareAmsterdam, The Netherlands IOS Press20111 online resource (296 p.)NATO science for peace and security series. Sub-series D, Information and communication security,1874-6268 ;v. 30Description based upon print version of record.1-60750-710-2 Includes bibliographical references and indexes.Title; Preface; Contents; Model-Based Testing; Towards a Theory of Architectural Contracts: Schemes and Patterns of Assumption/Promise Based System Specification; Engineering Evolving and Self-Adaptive Systems: An Overview; Formal Verification; Requirements Models for Critical Systems; From Concurrency Models to Numbers: Performance and Dependability; Unifying Models of Data Flow; Model-Based Verification and Analysis for Real-Time Systems; Model Checking; Subject Index; Author IndexInformation security depends upon an understanding of the functionality of software systems. Customers and information can only be protected from attack if this functionality is guaranteed to be correct and safe. A scientific foundation of software engineering not only provides models enabling the capture of application domains and requirements, but also ensures an understanding of the structure and working of software systems, architectures and programs. This book presents contributions based on the lectures delivered at the 31st International Summer School: Software and Systems Safety: SpeciNATO science for peace and security series.Sub-series D,Information and communication security ;v. 30.Software protectionCongressesComputer softwareReliabilityCongressesSoftware engineeringCongressesComputer securityCongressesSystem safetyCongressesElectronic books.Software protectionComputer softwareReliabilitySoftware engineeringComputer securitySystem safety005.10289Broy Manfred600498Leuxner Christian1055722Hoare A. G1055723NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification(2010 :Marktoberdorf, Germany)MiAaPQMiAaPQMiAaPQBOOK9910457752903321Software and systems safety2489327UNINA