Skip to main content
SpringerLink
Log in
Book cover

Large-Scale Complex IT Systems. Development, Operation and Management

17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Radu Calinescu

    1. Department of Computer Science, University of York, Heslington, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. David Garlan

    1. School of Computer Science, Carnegie Mellon University, Pittsburgh, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7539)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: Monterey Workshop 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Download chapter PDF

  2. Challenges of Large-Scale Complex IT Systems

    1. Cyber-Physical Systems: Imminent Challenges

      • Manfred Broy, María Victoria Cengarle, Eva Geisberger
      Pages 1-28

    2. The Global Financial Markets: An Ultra-Large-Scale Systems Perspective

      • Dave Cliff, Linda Northrop
      Pages 29-70

    3. What Is a Care Pathway?

      • Justin Keen
      Pages 71-80

    4. Command and Control of Teams of Autonomous Systems

      • Douglas S. Lange, Phillip Verbancsics, Robert S. Gutzwiller, John Reeder, Cullen Sarles
      Pages 81-93

    5. The Risks of LSCITS: The Odds Are Stacked against Us

      • John A. McDermid
      Pages 94-117

  3. Model-Driven Engineering

    1. Integration Architecture Synthesis for Taming Uncertainty in the Digital Space

      • Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
      Pages 118-131

    2. Social Networks for Importing and Exporting Security

      • Bangdao Chen, A. W. Roscoe
      Pages 132-147

    3. CScale – A Programming Model for Scalable and Reliable Distributed Applications

      • Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
      Pages 148-156

    4. Foundations and Tools for End-User Architecting

      • David Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley Schmerl
      Pages 157-182

    5. Evolving Delta-Oriented Software Product Line Architectures

      • Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer
      Pages 183-208

    6. Multi-view Modeling and Pragmatics in 2020

      • Reinhard von Hanxleden, Edward A. Lee, Christian Motika, Hauke Fuhrmann
      Pages 209-223

    7. View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling

      • Rolf Hennicker, Matthias Ludwig
      Pages 224-250

    8. Revealing Complexity through Domain-Specific Modelling and Analysis

      • Richard F. Paige, Phillip J. Brooke, Xiaocheng Ge, Christopher D. S. Power, Frank R. Burton, Simon Poulding
      Pages 251-265

    9. Information Requirements for Enterprise Systems

      • Ian Sommerville, Russell Lock, Tim Storer
      Pages 266-282

  4. Formal Specification, Analysis and Verification

    1. A Counterexample-Based Incremental and Modular Verification Approach

      • Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci
      Pages 283-302

    2. Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems

      • Radu Calinescu, Shinji Kikuchi, Kenneth Johnson
      Pages 303-329

    3. Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach

      • Maximilien Colange, Lom-Messan Hillah, Fabrice Kordon, Pierre Parutto
      Pages 330-352

    4. Towards Communication-Based Steering of Complex Distributed Systems

      • Klaus Dräger, Marta Kwiatkowska
      Pages 353-368

    5. Evolution, Adaptation, and the Quest for Incrementality

      • Carlo Ghezzi
      Pages 369-379
Back to top

Other volumes

  1. Large-Scale Complex IT Systems. Development, Operation and Management

Keywords

About this book

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.

Editors and Affiliations

  • Department of Computer Science, University of York, Heslington, UK

    Radu Calinescu

  • School of Computer Science, Carnegie Mellon University, Pittsburgh, USA

    David Garlan

About the editors

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation