Abstract is missing.
- Syntax-Guided SynthesisRajeev Alur, Rastislav BodÃk, Eric Dallal, Dana Fisman, Pranav Garg 0001, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shamwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa. 1-25 [doi]
- Deconstructing Dynamic Symbolic ExecutionThomas Ball, Jakub Daniel. 26-41 [doi]
- From Actions, Transactions, and Processes to ServicesManfred Broy. 42-78 [doi]
- System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical SystemsMichael Jackson. 79-104 [doi]
- Generating Process Models in Multi-View EnvironmentsChristophe Damas, Bernard Lambeau, Axel van Lamsweerde. 105-127 [doi]
- Safety and DependabilityJohn A. McDermid. 128-169 [doi]
- Evolving Software Ecosystems A Historical and Ecological PerspectiveTom Mens. 170-192 [doi]
- Framing the Frame ProblemBertrand Meyer. 193-203 [doi]
- From Verification to SynthesisDoron Peled. 204-223 [doi]
- Defect-Based TestingAlexander Pretschner. 224-245 [doi]
- Mechanised Theory Engineering in IsabelleSimon Foster, Jim Woodcock. 246-287 [doi]
- A Theory of Networks: In the Beginning . . Pamela Zave. 288-303 [doi]