LEADER 03593nam  2200721 a 450 
001 9910457752903321
005 20200520144314.0
010   $a6613289604
010   $a1-283-28960-1
010   $a9786613289605
010   $a1-60750-711-0
035   $a(CKB)2550000000050080
035   $a(EBL)784589
035   $a(OCoLC)756484723
035   $a(SSID)ssj0000593392
035   $a(PQKBManifestationID)12256671
035   $a(PQKBTitleCode)TC0000593392
035   $a(PQKBWorkID)10740323
035   $a(PQKB)10591725
035   $a(MiAaPQ)EBC784589
035   $a(Au-PeEL)EBL784589
035   $a(CaPaEBR)ebr10506356
035   $a(CaONFJC)MIL328960
035   $a(EXLCZ)992550000000050080
100   $a20110209d2011      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 00$aSoftware and systems safety$b[electronic resource] $especification and verification /$fedited by Manfred Broy, Christian Leuxner and Tony Hoare
210   $aAmsterdam, The Netherlands $cIOS Press$d2011
215   $a1 online resource (296 p.)
225 1 $aNATO science for peace and security series. Sub-series D, Information and communication security,$x1874-6268 ;$vv. 30
300   $aDescription based upon print version of record.
311   $a1-60750-710-2 
320   $aIncludes bibliographical references and indexes.
327   $aTitle; 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 Index
330   $aInformation 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: Speci
410  0$aNATO science for peace and security series.$nSub-series D,$pInformation and communication security ;$vv. 30.
606   $aSoftware protection$vCongresses
606   $aComputer software$xReliability$vCongresses
606   $aSoftware engineering$vCongresses
606   $aComputer security$vCongresses
606   $aSystem safety$vCongresses
608   $aElectronic books.
615  0$aSoftware protection
615  0$aComputer software$xReliability
615  0$aSoftware engineering
615  0$aComputer security
615  0$aSystem safety
676   $a005.10289
701   $aBroy$b Manfred$0600498
701   $aLeuxner$b Christian$01055722
701   $aHoare$b A. G$01055723
712 12$aNATO Advanced Study Institute on Software and Systems Safety : Specification and Verification$f(2010 :$eMarktoberdorf, Germany)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910457752903321
996   $aSoftware and systems safety$92489327
997   $aUNINA