Dependable software systems engineering / / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner

• Pubblicazione: Amsterdam, Netherlands : , : IOS Press, , 2015; ©2015
• Descrizione fisica: 1 online resource (320 p.)
• Disciplina: 005.14
• Soggetto topico: Computer software - Verification; Computer systems - Verification
• Soggetto genere / forma: Electronic books.
• Persona (resp. second.): IrlbeckMaximilian; PeledDoron; PretschnerAlexander
• 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""
• Titolo autorizzato: Dependable software systems engineering
• ISBN: 1-61499-495-1
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910460486403321
• Lo trovi qui: Univ. Federico II
• Serie: NATO science for peace and security series. : Sub-series D, . -Information and communication security ; ; Volume 40.