ask others

Dependable Software Systems Engineering 2015

> Home > Series

- no documents available
- export record
  dblp key:
  - series/natosec/40
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/natosec/40
Maximilian Irlbeck, Doron A. Peled, Alexander Pretschner:
Dependable Software Systems Engineering. NATO Science for Peace and Security Series, D: Information and Communication Security 40, IOS Press 2015, ISBN 978-1-61499-494-7
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/natosec/AlurBDF0JKMMRSSSSTU15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/natosec/AlurBDF0JKMMRSSSSTU15
Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa:
Syntax-Guided Synthesis. 1-25
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/natosec/BallD15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/natosec/BallD15
Thomas Ball, Jakub Daniel:
Deconstructing Dynamic Symbolic Execution. 26-41
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/natosec/Broy15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/natosec/Broy15
Manfred Broy:
From Actions, Transactions, and Processes to Services. 42-78
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/natosec/Jackson15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/natosec/Jackson15
Michael Jackson:
System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems. 79-104
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/natosec/DamasLL15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/natosec/DamasLL15
Christophe Damas, Bernard Lambeau, Axel van Lamsweerde:
Generating Process Models in Multi-View Environments. 105-127
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/natosec/McDermid15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/natosec/McDermid15
John A. McDermid:
Safety and Dependability. 128-169
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/natosec/Mens15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/natosec/Mens15
Tom Mens:
Evolving Software Ecosystems A Historical and Ecological Perspective. 170-192
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/natosec/Meyer15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/natosec/Meyer15
Bertrand Meyer:
Framing the Frame Problem. 193-203
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/natosec/Peled15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/natosec/Peled15
Doron A. Peled:
From Verification to Synthesis. 204-223
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/natosec/Pretschner15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/natosec/Pretschner15
Alexander Pretschner:
Defect-Based Testing. 224-245
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/natosec/FosterW15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/natosec/FosterW15
Simon Foster, Jim Woodcock:
Mechanised Theory Engineering in Isabelle. 246-287
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/natosec/Zave15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/natosec/Zave15
Pamela Zave:
A Theory of Networks: In the Beginning . . . 288-303

maintained by

, founded at