Abstract is missing.
- Cyber-Physical Systems: Imminent ChallengesManfred Broy, María Victoria Cengarle, Eva Geisberger. 1-28 [doi]
- The Global Financial Markets: An Ultra-Large-Scale Systems PerspectiveDave Cliff, Linda M. Northrop. 29-70 [doi]
- What Is a Care Pathway?Justin Keen. 71-80 [doi]
- Command and Control of Teams of Autonomous SystemsDouglas S. Lange, Phillip Verbancsics, Robert S. Gutzwiller, John Reeder, Cullen Sarles. 81-93 [doi]
- The Risks of LSCITS: The Odds Are Stacked against UsJohn A. McDermid. 94-117 [doi]
- Integration Architecture Synthesis for Taming Uncertainty in the Digital SpaceMarco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli. 118-131 [doi]
- Social Networks for Importing and Exporting SecurityBangdao Chen, A. W. Roscoe. 132-147 [doi]
- CScale - A Programming Model for Scalable and Reliable Distributed ApplicationsJose Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani. 148-156 [doi]
- Foundations and Tools for End-User ArchitectingDavid Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley R. Schmerl. 157-182 [doi]
- Evolving Delta-Oriented Software Product Line ArchitecturesArne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer. 183-208 [doi]
- Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing Complex Cyber-Physical SystemsReinhard von Hanxleden, Edward A. Lee, Christian Motika, Hauke Fuhrmann. 209-223 [doi]
- View-Based Development of a Simulation Framework for Multi-disciplinary Environmental ModellingRolf Hennicker, Matthias Ludwig. 224-250 [doi]
- Revealing Complexity through Domain-Specific Modelling and AnalysisRichard F. Paige, Phillip J. Brooke, Xiaocheng Ge, Christopher Power, Frank R. Burton, Simon M. Poulding. 251-265 [doi]
- Information Requirements for Enterprise SystemsIan Sommerville, Russell Lock, Tim Storer. 266-282 [doi]
- A Counterexample-Based Incremental and Modular Verification ApproachÉtienne André, Kais Klai, Hanen Ochi, Laure Petrucci. 283-302 [doi]
- Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT SystemsRadu Calinescu, Shinji Kikuchi, Kenneth Johnson. 303-329 [doi]
- Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented ApproachMaximilien Colange, Lom-Messan Hillah, Fabrice Kordon, Pierre Parutto. 330-352 [doi]
- Towards Communication-Based Steering of Complex Distributed SystemsKlaus Dräger, Marta Z. Kwiatkowska. 353-368 [doi]
- Evolution, Adaptation, and the Quest for IncrementalityCarlo Ghezzi. 369-379 [doi]
- Independent Implementability of ViewpointsThomas A. Henzinger, Dejan Nickovic. 380-395 [doi]
- Understanding Specification Languages through Their Model TheoryEthan K. Jackson, Wolfram Schulte. 396-415 [doi]