Dependable Software Systems Engineering ( NATO Science for Peace and Security Series - D: Information and Communication Security )

Publication series ：NATO Science for Peace and Security Series - D: Information and Communication Security

Author： Irlbeck > M.;Peled 3 > D.;Pretschner 4 > A.  

Publisher： Ios Press‎

Publication year： 2015

E-ISBN: 9781614994954

P-ISBN(Paperback): 9781614994947

Subject： D5 World Politics

Keyword： 世界政治

Language： ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Chapter

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

The users who browse this book also browse


No browse record.