What is included with this book?
A Tool-Supported Proof System for Multithreaded Java | 1 | (32) | |
|
|||
Abstract Behavior Types: A Foundation Model for Components and Their Composition | 33 | (38) | |
|
|||
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML | 71 | (28) | |
|
|||
Live and Let Die: LSC-Based Verification of UML-Models | 99 | (37) | |
|
|||
Reactive Animation | 136 | (18) | |
|
|||
Model-Checking Middleware-Based Event-Driven Real-Time Embedded software | 154 | (28) | |
|
|||
Equivalent Semantic Models for a Distributed Dataspace Architecture | 182 | (20) | |
|
|||
Java Program Verification Challenges | 202 | (18) | |
|
|||
ToolBus: The Next Generation | 220 | (22) | |
|
|||
High-Level Specifications: Lessons from Industry | 242 | (20) | |
|
|||
How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification | 262 | (23) | |
|
|||
Finding Implicit Contracts in NET Components | 285 | (34) | |
|
|||
From Co-algebraic Specifications to Implementation: The Mihda Toolkit | 319 | (20) | |
|
|||
A Calculus for Modeling Software Components | 339 | (22) | |
|
|||
Specification and Inheritance in CSP-OZ | 361 | (19) | |
|
|||
Model-Based Testing of Object-Oriented Systems | 380 | (23) | |
|
|||
Concurrent Object-Oriented Programs: From specification to Code | 403 | (21) | |
|
|||
Design with Asynchronously Communicating Components | 424 | (19) | |
|
|||
Composition for Component-Based Modeling | 443 | (24) | |
|
|||
Games for UML Software Design | 467 | (20) | |
|
|||
Making Components Move: A Separation of Concerns Approach | 487 | (22) | |
|
|||
Author Index | 509 |
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.