LEADER 03715nam 22006491 450 001 9910453713003321 005 20200520144314.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(MiAaPQ)EBC1477301 035 $a(Au-PeEL)EBL1477301 035 $a(CaPaEBR)ebr10785476 035 $a(CaONFJC)MIL988908 035 $a(OCoLC)863822120 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 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 608 $aElectronic books. 615 0$aComputer software$xVerification 615 0$aComputer systems$xVerification 676 $a005.1/4 701 $aBroy$b M.$f1949-$0956797 701 $aKalus$b Georg$0956798 701 $aPeled$b Doron$f1962-$067500 712 12$aNATO Advanced Study Institute on Engineering Dependable Software Systems 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910453713003321 996 $aEngineering dependable software systems$92167048 997 $aUNINA