Revising the UML Collaborations: A Well-Founded Approach | p. 1 |
Client Synthesis for Aspect Oriented Web Services | p. 24 |
Formal Reasoning about Software Object Translations | p. 43 |
Software Engineering Techniques for the Development of Systems of Systems | p. 59 |
Simulation of LET Models in Simulink and Ptolemy | p. 83 |
Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems | p. 93 |
On the Pragmatics of Model-Based Design | p. 116 |
Modelling and Verification of Relay Interlocking Systems | p. 141 |
Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication | p. 154 |
Experiences in Model Driven Verification of Behavior with UML | p. 181 |
Cross-Document Dependency Analysis for System-of-System Integration | p. 201 |
Performance Analysis of AADL Models Using Real-Time Calculus | p. 227 |
On Software Certification: We Need Product-Focused Approaches | p. 250 |
Author Index | p. 275 |
Table of Contents provided by Ingram. All Rights Reserved. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.