Large-scale complex IT systems : development, operation and management, 17th Monterey workshop 2012, Oxford, UK, March 19-21, 2012 : revised selected papers / Radu Calinescu, David Garlan (eds.).

Challenges of Large-Scale Complex IT Systems -- Cyber-Physical Systems: Imminent Challenges / Manfred Broy, María Victoria Cengarle, Eva Geisberger -- The Global Financial Markets: An Ultra-Large-Scale Systems Perspective / Dave Cliff, Linda Northrop -- What Is a Care Pathway? / Justin Keen -- Command and Control of Teams of Autonomous Systems / Douglas S. Lange, Phillip Verbancsics, Robert S. Gutzwiller, John Reeder, Cullen Sarles -- The Risks of LSCITS: The Odds Are Stacked against Us / John A. McDermid -- Model-Driven Engineering -- Integration Architecture Synthesis for Taming Uncertainty in the Digital Space / Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi -- Social Networks for Importing and Exporting Security / Bangdao Chen, A.W. Roscoe -- CScale -- A Programming Model for Scalable and Reliable Distributed Applications / Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani -- Foundations and Tools for End-User Architecting / David Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley Schmerl -- Evolving Delta-Oriented Software Product Line Architectures / Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer.

Multi-view Modeling and Pragmatics in 2020 / Reinhard von Hanxleden, Edward A. Lee, Christian Motika, Hauke Fuhrmann -- View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling / Rolf Hennicker, Matthias Ludwig -- Revealing Complexity through Domain-Specific Modelling and Analysis / Richard F. Paige, Phillip J. Brooke, Xiaocheng Ge, Christopher D.S. Power -- Information Requirements for Enterprise Systems / Ian Sommerville, Russell Lock, Tim Storer -- Formal Specification, Analysis and Verification -- A Counterexample-Based Incremental and Modular Verification Approach / Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci -- Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems / Radu Calinescu, Shinji Kikuchi, Kenneth Johnson -- Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach / Maximilien Colange, Lom-Messan Hillah, Fabrice Kordon, Pierre Parutto -- Towards Communication-Based Steering of Complex Distributed Systems / Klaus Dräger, Marta Kwiatkowska -- Evolution, Adaptation, and the Quest for Incrementality / Carlo Ghezzi -- Independent Implementability of Viewpoints / Thomas A. Henzinger, Dejan Ničković -- Understanding Specification Languages through Their Model Theory / Ethan K. Jackson, Wolfram Schulte.

Print version record.

Includes bibliographical references.

This book presents the thoroughly refereed and revised post-workshop proceedings of the 17th Monterey Workshop, held in Oxford, UK, in March 2012. The workshop explored the challenges associated with the Development, Operation and Management of Large-Scale complex IT Systems. The 21 revised full papers presented were significantly extended and improved by the insights gained from the productive and lively discussions at the workshop, and the feedback from the post-workshop peer reviews.