TY  - BOOK
AU  - Irlbeck,M.
AU  - Peled,D.
AU  - Pretschner,A.
TI  - Dependable Software Systems Engineering
T2  - NATO Science for Peace and Security Series - d: Information and Communication Security Series
SN  - 9781614994954
AV  - QA76.76.V47 D474 2015 
U1  - 005.14 
PY  - 2015///
CY  - Amsterdam
PB  - IOS Press, Incorporated
KW  - Computer software--Verification--Congresses
KW  - Computer systems--Verification--Congresses
KW  - Electronic books
N1  - 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
UR  - https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=3563924
ER  -