Large-Scale Complex IT Systems. Development, Operation and Management 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers /

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 pap...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Calinescu, Radu (Επιμελητής έκδοσης), Garlan, David (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Σειρά:Lecture Notes in Computer Science, 7539
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 04078nam a22005655i 4500
001 978-3-642-34059-8
003 DE-He213
005 20151030081534.0
007 cr nn 008mamaa
008 121026s2012 gw | s |||| 0|eng d
020 |a 9783642340598  |9 978-3-642-34059-8 
024 7 |a 10.1007/978-3-642-34059-8  |2 doi 
040 |d GrThAP 
050 4 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
082 0 4 |a 005.1  |2 23 
245 1 0 |a Large-Scale Complex IT Systems. Development, Operation and Management  |h [electronic resource] :  |b 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers /  |c edited by Radu Calinescu, David Garlan. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2012. 
300 |a XII, 417 p. 143 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 7539 
505 0 |a 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. 
520 |a 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. 
650 0 |a Computer science. 
650 0 |a Computer communication systems. 
650 0 |a Software engineering. 
650 0 |a Programming languages (Electronic computers). 
650 0 |a Computers and civilization. 
650 0 |a Management information systems. 
650 1 4 |a Computer Science. 
650 2 4 |a Software Engineering. 
650 2 4 |a Computer Communication Networks. 
650 2 4 |a Information Systems Applications (incl. Internet). 
650 2 4 |a Management of Computing and Information Systems. 
650 2 4 |a Programming Languages, Compilers, Interpreters. 
650 2 4 |a Computers and Society. 
700 1 |a Calinescu, Radu.  |e editor. 
700 1 |a Garlan, David.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783642340581 
830 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 7539 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-34059-8  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (Springer-11645)