Irlbeck, M. <br/><br/>
Dependable Software Systems Engineering. 

 - 1st ed. 
 - 1 online resource (320 pages) 
 - NATO Science for Peace and Security Series - d: Information and Communication Security Series ;  v.40 .
 - NATO Science for Peace and Security Series - d: Information and Communication Security Series .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9781614994954 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Verification--Congresses.<br/>Computer systems--Verification--Congresses.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA76.76.V47 D474 2015 
<br/><br/><label>Dewey Class. No.: </label>005.14