2 options
Dependable software systems engineering / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner.
- Format:
- Book
- Conference/Event
- Conference Name:
- NATO Advanced Study Institute on Dependable Software Systems Engineering
- Series:
- NATO science for peace and security series. Information and communication security ; Sub-series D, Volume 40.
- NATO Science for Peace and Security Series - D: Information and Communication Security, 1879-8292 ; Volume 40
- Language:
- English
- Subjects (All):
- Computer software--Verification--Congresses.
- Computer software.
- Computer systems--Verification--Congresses.
- Computer systems.
- Physical Description:
- 1 online resource (320 p.)
- Edition:
- 1st ed.
- Place of Publication:
- Amsterdam, Netherlands : IOS Press, 2015.
- Language Note:
- English
- Summary:
- We are all increasingly dependent on software systems to run the technology we use every day, so we need these systems to be both reliable and safe.This book presents papers from the NATO Advanced Study Institute Summer School Dependable Software Systems Engineering, held in Marktoberdorf, Germany, in July and August 2014. Lecturers were drawn from prestigious research groups representing both industry and academia, and the course was designed as an in-depth presentation and teaching of state-of-the-art scientific techniques and methods covering research and industrial practice as well as scientific principles.Topics covered included: syntax-guided synthesis; system behaviors and problem frames; dependable human-intensive systems; automatic alias analysis and frame inference; fault-based testing; and mechanized unifying theories of programming.Marktoberdorf is one of the most renowned international computer science summer schools, and this book, with its detailed overview of current research results and the discussion and development of new ideas will be of interest to all those whose work involves the engineering of dependable software systems.
- 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""
- Notes:
- Description based upon print version of record.
- Includes bibliographical references at the end of each chapters and index.
- Description based on online resource; title from PDF title page (ebrary, viewed July 28, 2015).
- ISBN:
- 1-61499-495-1
- OCLC:
- 932319999
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.