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

<p>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.</p>