|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910797482403321 |
|
|
Titolo |
Dependable software systems engineering / / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam, Netherlands : , : IOS Press, , 2015 |
|
©2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (320 p.) |
|
|
|
|
|
|
Collana |
|
NATO Science for Peace and Security Series - D: Information and Communication Security, , 1879-8292 ; ; Volume 40 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer software - Verification |
Computer systems - Verification |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
""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"" |
|
|
|
|
|
|
|