000 04393nam a22006255i 4500
001 978-3-642-34059-8
003 DE-He213
005 20240730184817.0
007 cr nn 008mamaa
008 121026s2012 gw | s |||| 0|eng d
020 _a9783642340598
_9978-3-642-34059-8
024 7 _a10.1007/978-3-642-34059-8
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aLarge-Scale Complex IT Systems. Development, Operation and Management
_h[electronic resource] :
_b17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers /
_cedited by Radu Calinescu, David Garlan.
250 _a1st ed. 2012.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2012.
300 _aXII, 417 p. 143 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v7539
505 0 _aCyber-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 _aThis 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 _aSoftware engineering.
_94138
650 0 _aComputer networks .
_931572
650 0 _aApplication software.
_9136817
650 0 _aElectronic data processing
_xManagement.
_9136818
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputers and civilization.
_921733
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer Communication Networks.
_9136819
650 2 4 _aComputer and Information Systems Applications.
_9136820
650 2 4 _aIT Operations.
_931703
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aComputers and Society.
_931668
700 1 _aCalinescu, Radu.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9136821
700 1 _aGarlan, David.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9136822
710 2 _aSpringerLink (Online service)
_9136823
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642340581
776 0 8 _iPrinted edition:
_z9783642340604
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v7539
_9136824
856 4 0 _uhttps://doi.org/10.1007/978-3-642-34059-8
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c92498
_d92498