default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th Monterey Workshop 2012: Oxford, UK
- Radu Calinescu, David Garlan:
Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7539, Springer 2012, ISBN 978-3-642-34058-1
Challenges of Large-Scale Complex IT Systems
- Manfred Broy, María Victoria Cengarle, Eva Geisberger:
Cyber-Physical Systems: Imminent Challenges. 1-28 - Dave Cliff
, Linda M. Northrop:
The Global Financial Markets: An Ultra-Large-Scale Systems Perspective. 29-70 - Justin Keen:
What Is a Care Pathway? 71-80 - Douglas S. Lange, Phillip Verbancsics, Robert S. Gutzwiller, John Reeder, Cullen Sarles:
Command and Control of Teams of Autonomous Systems. 81-93 - John Alexander McDermid:
The Risks of LSCITS: The Odds Are Stacked against Us. 94-117
Model-Driven Engineering
- Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli:
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space. 118-131 - Bangdao Chen, A. W. Roscoe:
Social Networks for Importing and Exporting Security. 132-147 - Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani:
CScale - A Programming Model for Scalable and Reliable Distributed Applications. 148-156 - David Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley R. Schmerl:
Foundations and Tools for End-User Architecting. 157-182 - Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer:
Evolving Delta-Oriented Software Product Line Architectures. 183-208 - Reinhard von Hanxleden, Edward A. Lee, Christian Motika, Hauke Fuhrmann:
Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing Complex Cyber-Physical Systems. 209-223 - Rolf Hennicker, Matthias Ludwig:
View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling. 224-250 - Richard F. Paige, Phillip J. Brooke, Xiaocheng Ge, Christopher Power, Frank R. Burton, Simon M. Poulding:
Revealing Complexity through Domain-Specific Modelling and Analysis. 251-265 - Ian Sommerville, Russell Lock, Tim Storer:
Information Requirements for Enterprise Systems. 266-282
Formal Specification, Analysis and Verification
- Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci:
A Counterexample-Based Incremental and Modular Verification Approach. 283-302 - Radu Calinescu, Shinji Kikuchi, Kenneth Johnson:
Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems. 303-329 - Maximilien Colange, Lom-Messan Hillah, Fabrice Kordon, Pierre Parutto:
Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach. 330-352 - Klaus Dräger, Marta Z. Kwiatkowska:
Towards Communication-Based Steering of Complex Distributed Systems. 353-368 - Carlo Ghezzi:
Evolution, Adaptation, and the Quest for Incrementality. 369-379 - Thomas A. Henzinger, Dejan Nickovic:
Independent Implementability of Viewpoints. 380-395 - Ethan K. Jackson, Wolfram Schulte:
Understanding Specification Languages through Their Model Theory. 396-415
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
