Large-scale complex IT systems : development, operation and management, 17th Monterey workshop 2012, Oxford, UK, March 19-21, 2012 : revised selected papers /
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.).
- Heidelberg ; New York : Springer, ©2012.
- 1 online resource (xii, 415 pages)
- Lecture notes in computer science ; 7539 LNCS sublibrary. SL 2, Programming and software engineering. .
- LNCS sublibrary. SL 2, Programming and software engineering. .
Includes bibliographical references.
Challenges of Large-Scale Complex IT Systems -- Cyber-Physical Systems: Imminent Challenges / The Global Financial Markets: An Ultra-Large-Scale Systems Perspective / What Is a Care Pathway? / Command and Control of Teams of Autonomous Systems / The Risks of LSCITS: The Odds Are Stacked against Us / Model-Driven Engineering -- Integration Architecture Synthesis for Taming Uncertainty in the Digital Space / Social Networks for Importing and Exporting Security / CScale -- A Programming Model for Scalable and Reliable Distributed Applications / Foundations and Tools for End-User Architecting / Evolving Delta-Oriented Software Product Line Architectures / Manfred Broy, María Victoria Cengarle, Eva Geisberger -- Dave Cliff, Linda Northrop -- Justin Keen -- Douglas S. Lange, Phillip Verbancsics, Robert S. Gutzwiller, John Reeder, Cullen Sarles -- John A. McDermid -- Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi -- Bangdao Chen, A.W. Roscoe -- Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani -- David Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley Schmerl -- Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer. Multi-view Modeling and Pragmatics in 2020 / View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling / Revealing Complexity through Domain-Specific Modelling and Analysis / Information Requirements for Enterprise Systems / Formal Specification, Analysis and Verification -- A Counterexample-Based Incremental and Modular Verification Approach / Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems / Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach / Towards Communication-Based Steering of Complex Distributed Systems / Evolution, Adaptation, and the Quest for Incrementality / Independent Implementability of Viewpoints / Understanding Specification Languages through Their Model Theory / Reinhard von Hanxleden, Edward A. Lee, Christian Motika, Hauke Fuhrmann -- Rolf Hennicker, Matthias Ludwig -- Richard F. Paige, Phillip J. Brooke, Xiaocheng Ge, Christopher D.S. Power -- Ian Sommerville, Russell Lock, Tim Storer -- Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci -- Radu Calinescu, Shinji Kikuchi, Kenneth Johnson -- Maximilien Colange, Lom-Messan Hillah, Fabrice Kordon, Pierre Parutto -- Klaus Dräger, Marta Kwiatkowska -- Carlo Ghezzi -- Thomas A. Henzinger, Dejan Ničković -- Ethan K. Jackson, Wolfram Schulte.
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.
9783642340598 3642340598
Information technology--Congresses.
Technologie de l'information--Congrès.
Informatique.
Information technology
Komplexes System
Kritische Informationsinfrastruktur
Sicherheitskritisches System
Modellgetriebene Entwicklung
Softwaresystem
Formale Spezifikationstechnik
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
T58.5 / .M673 2012
005.12 / M77 W12
Includes bibliographical references.
Challenges of Large-Scale Complex IT Systems -- Cyber-Physical Systems: Imminent Challenges / The Global Financial Markets: An Ultra-Large-Scale Systems Perspective / What Is a Care Pathway? / Command and Control of Teams of Autonomous Systems / The Risks of LSCITS: The Odds Are Stacked against Us / Model-Driven Engineering -- Integration Architecture Synthesis for Taming Uncertainty in the Digital Space / Social Networks for Importing and Exporting Security / CScale -- A Programming Model for Scalable and Reliable Distributed Applications / Foundations and Tools for End-User Architecting / Evolving Delta-Oriented Software Product Line Architectures / Manfred Broy, María Victoria Cengarle, Eva Geisberger -- Dave Cliff, Linda Northrop -- Justin Keen -- Douglas S. Lange, Phillip Verbancsics, Robert S. Gutzwiller, John Reeder, Cullen Sarles -- John A. McDermid -- Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi -- Bangdao Chen, A.W. Roscoe -- Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani -- David Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley Schmerl -- Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer. Multi-view Modeling and Pragmatics in 2020 / View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling / Revealing Complexity through Domain-Specific Modelling and Analysis / Information Requirements for Enterprise Systems / Formal Specification, Analysis and Verification -- A Counterexample-Based Incremental and Modular Verification Approach / Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems / Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach / Towards Communication-Based Steering of Complex Distributed Systems / Evolution, Adaptation, and the Quest for Incrementality / Independent Implementability of Viewpoints / Understanding Specification Languages through Their Model Theory / Reinhard von Hanxleden, Edward A. Lee, Christian Motika, Hauke Fuhrmann -- Rolf Hennicker, Matthias Ludwig -- Richard F. Paige, Phillip J. Brooke, Xiaocheng Ge, Christopher D.S. Power -- Ian Sommerville, Russell Lock, Tim Storer -- Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci -- Radu Calinescu, Shinji Kikuchi, Kenneth Johnson -- Maximilien Colange, Lom-Messan Hillah, Fabrice Kordon, Pierre Parutto -- Klaus Dräger, Marta Kwiatkowska -- Carlo Ghezzi -- Thomas A. Henzinger, Dejan Ničković -- Ethan K. Jackson, Wolfram Schulte.
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.
9783642340598 3642340598
Information technology--Congresses.
Technologie de l'information--Congrès.
Informatique.
Information technology
Komplexes System
Kritische Informationsinfrastruktur
Sicherheitskritisches System
Modellgetriebene Entwicklung
Softwaresystem
Formale Spezifikationstechnik
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
T58.5 / .M673 2012
005.12 / M77 W12