LEADER 03763nam 22006611 450 001 9910827692703321 005 20240401212616.0 010 $a1-61499-207-X 035 $a(CKB)2550000001150977 035 $a(EBL)1477301 035 $a(SSID)ssj0000967836 035 $a(PQKBManifestationID)12374379 035 $a(PQKBTitleCode)TC0000967836 035 $a(PQKBWorkID)10977399 035 $a(PQKB)11113632 035 $a(Au-PeEL)EBL1477301 035 $a(CaPaEBR)ebr10785476 035 $a(CaONFJC)MIL988908 035 $a(OCoLC)861257467 035 $a(MiAaPQ)EBC1477301 035 $a(EXLCZ)992550000001150977 100 $a20131022h20132013 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aEngineering dependable software systems /$fedited by Manfred Broy, Doron Peled and Georg Kalus 205 $a1st ed. 210 1$aAmsterdam ;$aWashington, D. C. :$cIOS Press,$d[2013] 210 4$dİ2013 215 $a1 online resource (376 p.) 225 1 $aNATO science for peace and security series. Sub-series D, Information and communication security ;$vvolume 34 300 $a"Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso. 300 $a"Published in cooperation with NATO Emerging Security Challenges Division." 311 $a1-61499-206-1 320 $aIncludes bibliographical references and indexes. 327 $aENGINEERING DEPENDABLE SOFTWARE SYSTEMS; Preface; Contents; A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views; Mastering System Analysis and Design through Abstraction and Refinement; Data Abstraction in VCC; Families of software systems: a model checking approach; A Tutorial on Runtime Verification; Model Checking Meets Probability: A Gentle Introduction; Risk-driven Engineering of Requirements for Dependable Systems; Model-Based Verication, Optimization, Synthesis and Performance Evaluation of Real-Time Systems 327 $aModel-Driven Engineering and Model Transformation: for Fun and ProfitSymbolic Execution and Software Testing; Model Checking Basics; Subject Index; Author Index 330 $aBecause almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research.This book contains the lectures from the NATO Advanced Study Institute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany, in July and August 20 410 0$aNATO science for peace and security series.$nSub-series D,$pInformation and communication security ;$vv. 34. 606 $aComputer software$xVerification$vCongresses 606 $aComputer systems$xVerification$vCongresses 615 0$aComputer software$xVerification 615 0$aComputer systems$xVerification 676 $a005.1/4 701 $aBroy$b M.$f1949-$01681196 701 $aKalus$b Georg$01687531 701 $aPeled$b Doron$f1962-$067500 712 02$aNATO Emerging Security Challenges Division. 712 12$aNATO Advanced Study Institute on Engineering Dependable Software Systems 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910827692703321 996 $aEngineering dependable software systems$94061088 997 $aUNINA