Dependable software systems engineering /

Mostrar otras versiones (3)
Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: NATO Advanced Study Institute on Dependable Software Systems Engineering Marktoberdorf, Germany
Otros Autores: Irlbeck, Maximilian (Editor ), Peled, Doron (Editor ), Pretschner, Alexander (Editor )
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam : IOS Press, 2015.
Colección:NATO science for peace and security series. Information and communication security ; v. 40.
Temas:
Computer software > Verification > Congresses.
Computer systems > Verification > Congresses.
Logiciels > Vérification > Congrès.
Systèmes informatiques > Vérification > Congrès.
COMPUTERS > Computer Literacy.
COMPUTERS > Computer Science.
COMPUTERS > Data Processing.
COMPUTERS > Hardware > General.
COMPUTERS > Information Technology.
COMPUTERS > Machine Theory.
COMPUTERS > Reference.
Computer software > Verification
Computer systems > Verification
Conference papers and proceedings
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares