Dependable Software Systems Engineering.
Irlbeck, M.
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 .
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.
9781614994954
Computer software--Verification--Congresses.
Computer systems--Verification--Congresses.
Electronic books.
QA76.76.V47 D474 2015
005.14
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 .
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.
9781614994954
Computer software--Verification--Congresses.
Computer systems--Verification--Congresses.
Electronic books.
QA76.76.V47 D474 2015
005.14