Limit search to available items
Book Cover
E-book
Author NATO Advanced Study Institute on Dependable Software Systems Engineering (2014 : Marktoberdorf, Germany)

Title Dependable software systems engineering / edited by Maximilian Irlbeck, Doron Peled, Alexander Pretschner
Published Amsterdam : IOS Press, 2015
©2015

Copies

Description 1 online resource
Series NATO Science for Peace and Security series D: information and communication security ; vol. 40
NATO science for peace and security series. Sub-series D, Information and communication security ; v. 40.
Contents 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
Bibliography Includes bibliographical references and index
Notes English
Online resource; title from PDF title page (EBSCO, viewed July 23, 2015)
Subject Computer software -- Verification -- Congresses
Computer systems -- Verification -- Congresses
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
Genre/Form Conference papers and proceedings
Form Electronic book
Author Irlbeck, Maximilian, editor
Peled, Doron, editor
Pretschner, Alexander, editor
LC no. 2015938489
ISBN 9781614994954
1614994951
1614994943
9781614994947