Skip to main content
  • Conference proceedings
  • © 2012

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

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

  • 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)

Conference series link(s): Monterey Workshop: Monterey Workshop

Conference proceedings info: Monterey Workshop 2012.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (21 papers)

  1. Front Matter

  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. What Is a Care Pathway?

      • Justin Keen
      Pages 71-80
    3. Command and Control of Teams of Autonomous Systems

      • Douglas S. Lange, Phillip Verbancsics, Robert S. Gutzwiller, John Reeder, Cullen Sarles
      Pages 81-93
  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. 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
    8. 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. Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach

      • Maximilien Colange, Lom-Messan Hillah, Fabrice Kordon, Pierre Parutto
      Pages 330-352
    3. Towards Communication-Based Steering of Complex Distributed Systems

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

Other Volumes

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

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.

Keywords

  • formal methods
  • health care
  • multi-view modeling
  • software development tools
  • systems of systems

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions