02759nam 2200601 450 991079748240332120230807221125.01-61499-495-1(CKB)3710000000449174(EBL)3563924(SSID)ssj0001560649(PQKBManifestationID)16193224(PQKBTitleCode)TC0001560649(PQKBWorkID)14825270(PQKB)10304834(MiAaPQ)EBC3563924(Au-PeEL)EBL3563924(CaPaEBR)ebr11079843(CaONFJC)MIL814516(OCoLC)932319999(EXLCZ)99371000000044917420150728h20152015 uy 0engur|n|---|||||txtccrDependable software systems engineering /edited by Maximilian Irlbeck, Doron Peled and Alexander PretschnerAmsterdam, Netherlands :IOS Press,2015.©20151 online resource (320 p.)NATO Science for Peace and Security Series - D: Information and Communication Security,1879-8292 ;Volume 40Description based upon print version of record.1-61499-494-3 Includes bibliographical references at the end of each chapters and index.""DEPENDABLE SOFTWARE SYSTEMS ENGINEERING""; ""Preface""; ""Contents""; ""Syntax-Guided Synthesis""; ""Deconstructing Dynamic Symbolic Execution""; ""From Actions, Transactions, and Processes to Services""; ""System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems""; ""Generating Process Models in Multi-View Environments""; ""Safety and Dependability""; ""Evolving Software Ecosystems A Historical and Ecological Perspective""; ""Framing the Frame Problem""; ""From Verification to Synthesis""; ""Defect-Based Testing""""Mechanised Theory Engineering in Isabelle""""A Theory of Networks: In the Beginning . . .""; ""Subject Index""; ""Author Index""NATO science for peace and security series.Sub-series D,Information and communication security ;Volume 40.Computer softwareVerificationCongressesComputer systemsVerificationCongressesComputer softwareVerificationComputer systemsVerification005.14Irlbeck MaximilianPeled DoronPretschner AlexanderMiAaPQMiAaPQMiAaPQBOOK9910797482403321Dependable software systems engineering3693188UNINA