1 option
Large-Scale Complex IT Systems. Development, Operation and Management : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers / edited by Radu Calinescu, David Garlan.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Programming and software engineering 2945-9168 ; SL 2, 7539
- Programming and Software Engineering, 2945-9168 ; 7539
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer networks.
- Application software.
- Electronic data processing-Management.
- Compilers (Computer programs).
- Computers and civilization.
- Software Engineering.
- Computer Communication Networks.
- Computer and Information Systems Applications.
- IT Operations.
- Compilers and Interpreters.
- Computers and Society.
- Local Subjects:
- Software Engineering.
- Computer Communication Networks.
- Computer and Information Systems Applications.
- IT Operations.
- Compilers and Interpreters.
- Computers and Society.
- Physical Description:
- 1 online resource (XII, 417 pages) : 143 illustrations
- Edition:
- 1st ed. 2012.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
- System Details:
- text file PDF
- Summary:
- 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.
- Contents:
- 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
- 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
- Multi-view Modeling and Pragmatics in 2020: Position Paper on Designing Complex Cyber-Physical Systems
- 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
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-34059-8
- 9783642340598
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.