Editors:
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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (21 papers)
-
Front Matter
-
Model-Driven Engineering
-
Formal Specification, Analysis and Verification
About this book
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
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
Book Title: Large-Scale Complex IT Systems. Development, Operation and Management
Book Subtitle: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
Editors: Radu Calinescu, David Garlan
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-34059-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2012
Softcover ISBN: 978-3-642-34058-1Published: 14 September 2012
eBook ISBN: 978-3-642-34059-8Published: 12 October 2012
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 417
Number of Illustrations: 143 b/w illustrations
Topics: Software Engineering, Computer Communication Networks, Computer and Information Systems Applications, IT Operations, Compilers and Interpreters, Computers and Society