000 03697nam a22005775i 4500
001 978-3-642-12566-9
003 DE-He213
005 20140220084535.0
007 cr nn 008mamaa
008 100413s2010 gw | s |||| 0|eng d
020 _a9783642125669
_9978-3-642-12566-9
024 7 _a10.1007/978-3-642-12566-9
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
100 1 _aChoppy, Christine.
_eeditor.
245 1 0 _aFoundations of Computer Software. Future Trends and Techniques for Development
_h[electronic resource] :
_b15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers /
_cedited by Christine Choppy, Oleg Sokolsky.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2010.
300 _aIX, 275p. 84 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6028
505 0 _aRevising the UML Collaborations: A Well-Founded Approach -- Client Synthesis for Aspect Oriented Web Services -- Formal Reasoning about Software Object Translations -- Software Engineering Techniques for the Development of Systems of Systems -- Simulation of LET Models in Simulink and Ptolemy -- Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems -- On the Pragmatics of Model-Based Design -- Modelling and Verification of Relay Interlocking Systems -- Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication -- Experiences in Model Driven Verification of Behavior with UML -- Cross-Document Dependency Analysis for System-of-System Integration -- Performance Analysis of AADL Models Using Real-Time Calculus -- On Software Certification: We Need Product-Focused Approaches.
520 _aThis book presents the thoroughly refereed and revised proceedings of the 15th Monterey Workshop, held in Budapest, Hungary, September 24-26, 2008. The theme of the workshop was Foundations of Computer Software, Future Trends and Techniques for Development. The 13 revised full papers presented at the workshop explore, how the foundations and development techniques of computer software could be adapted to address such a challenge. Material presented in the papers spans the whole software life cycle, starting from specification and analysis, design and the choice of architectures, large scale, real-world software development, code generation and configuration, deployment, and evolution.
650 0 _aComputer science.
650 0 _aComputer Communication Networks.
650 0 _aComputer system performance.
650 0 _aSoftware engineering.
650 0 _aDatabase management.
650 0 _aInformation storage and retrieval systems.
650 0 _aInformation systems.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aInformation Systems Applications (incl.Internet).
650 2 4 _aInformation Storage and Retrieval.
650 2 4 _aComputer Communication Networks.
650 2 4 _aDatabase Management.
650 2 4 _aSystem Performance and Evaluation.
700 1 _aSokolsky, Oleg.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642125652
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6028
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-12566-9
912 _aZDB-2-SCS
912 _aZDB-2-LNC
999 _c112100
_d112100