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
Conference proceedings Monterey Workshop 2012

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

Table of contents

  1. Front Matter
  2. Challenges of Large-Scale Complex IT Systems

    1. Manfred Broy, María Victoria Cengarle, Eva Geisberger
      Pages 1-28
    2. Justin Keen
      Pages 71-80
    3. Douglas S. Lange, Phillip Verbancsics, Robert S. Gutzwiller, John Reeder, Cullen Sarles
      Pages 81-93
  3. Model-Driven Engineering

    1. Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
      Pages 118-131
    2. Bangdao Chen, A. W. Roscoe
      Pages 132-147
    3. Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
      Pages 148-156
    4. David Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley Schmerl
      Pages 157-182
    5. Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer
      Pages 183-208
    6. Reinhard von Hanxleden, Edward A. Lee, Christian Motika, Hauke Fuhrmann
      Pages 209-223
    7. Richard F. Paige, Phillip J. Brooke, Xiaocheng Ge, Christopher D. S. Power, Frank R. Burton, Simon Poulding
      Pages 251-265
    8. Ian Sommerville, Russell Lock, Tim Storer
      Pages 266-282
  4. Formal Specification, Analysis and Verification

    1. Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci
      Pages 283-302
    2. Maximilien Colange, Lom-Messan Hillah, Fabrice Kordon, Pierre Parutto
      Pages 330-352
    3. Klaus Dräger, Marta Kwiatkowska
      Pages 353-368
    4. Thomas A. Henzinger, Dejan Ničković
      Pages 380-395
    5. Ethan K. Jackson, Wolfram Schulte
      Pages 396-415
  5. Back Matter

About these proceedings


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.


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

Editors and affiliations

  • Radu Calinescu
    • 1
  • David Garlan
    • 2
  1. 1.Department of Computer ScienceUniversity of YorkHeslingtonUK
  2. 2.School of Computer ScienceCarnegie Mellon UniversityPittsburghUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-34058-1
  • Online ISBN 978-3-642-34059-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment