A UML profile for communicating systems | p. 1 |
Implementing the eODL graphical representation | p. 19 |
Distributed real-time behavioral requirements modeling using extended UML/SPT | p. 34 |
Formal operations for SDL language profiles | p. 49 |
Automating scenario merging | p. 64 |
Timed high-level message sequence charts for real-time system design | p. 82 |
Timed use case maps | p. 99 |
Application of stuck-free conformance to service-role composition | p. 115 |
A simulator interconnection framework for the accurate performance simulation of SDL models | p. 133 |
Refactoring and metrics for TTCN-3 test suites | p. 148 |
SDL design of a radio resource control protocol for 3G evolution systems with two different approaches | p. 166 |
Evaluation of development tools for domain-specific modeling languages | p. 183 |
Towards integrated tool support for the user requirements notation | p. 198 |
ConTraST - a configurable SDL transpiler and runtime environment | p. 216 |
Table of Contents provided by Blackwell. 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.