Foundations of Computer Software: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers (Lecture Notes in Computer Science, 6028, Band 6028) - Softcover

 
9783642125652: Foundations of Computer Software: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers (Lecture Notes in Computer Science, 6028, Band 6028)

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  3642125670 ISBN 13:  9783642125676
Verlag: Springer, 2011
Softcover