Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Gespeichert in:

Personen und Körperschaften:	Choppy, Christine (VerfasserIn), Sokolsky, Oleg (Sonstige)
Titel:	Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers/ edited by Christine Choppy, Oleg Sokolsky
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer Berlin Heidelberg 2010
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 6028
Schlagwörter:	Computer science Computer Communication Networks Computer system performance Information systems Computer Science Software engineering Database management Information storage and retrieval systems Computer networks . Application software. Konferenzschrift > 2008 > Budapest
Buchausg. u.d.T.:	Foundations of computer software, Berlin : Springer, 2010, VIII, 274 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz

Details
Zusammenfassung:	Revising 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.
Umfang:	Online-Ressource (IX, 275p. 84 illus, digital)
ISBN:	9783642125669
DOI:	10.1007/978-3-642-12566-9