Dependable software systems engineering / / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
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 | |
| 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.: | 9910826845203321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
NATO science for peace and security series. : Sub-series D, . -Information and communication security ; ; Volume 40.