|
|
Sold Out
Book Categories |
| A Tool-Supported Prof System for Multithreaded Java | 1 | |
| Abstract Behavior Types: A Foundation Model for Components and Their Composition | 33 | |
| Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML | 71 | |
| Live and Let Die: LSC-Based Verification of UML-Models | 99 | |
| Reactive Animation | 136 | |
| Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software | 154 | |
| Equivalent Semantic Models for a Distributed Dataspace Architecture | 182 | |
| Java Program Verification Challenges | 202 | |
| ToolBus: The Next Generation | 220 | |
| High-Level Specifications: Lessons from Industry | 242 | |
| How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification | 262 | |
| Finding Implicit Contracts in .NET Components | 285 | |
| From Co-algebraic Specifications to Implementation: The Mihda Toolkit | 319 | |
| A Calculus for Modeling Software Components | 339 | |
| Specification and Inheritance in CSP-OZ | 361 | |
| Model-Based Testing of Object-Oriented Systems | 380 | |
| Concurrent Object-Oriented Program: From Specification to Code | 403 | |
| Design with Asynchronously Communicating Components | 424 | |
| Composition for Component-Based Modeling | 443 | |
| Games for UML Software Design | 467 | |
| Making Components Move: A Separation of Concerns Approach | 487 | |
| Author Index | 509 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Stefano Atzori
reviewed Formal Methods for Components and Objects on June 22, 2013
Formal Methods for Components and Objects
Review at
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Formal Methods for Components and Objects
X
This Item is in Your Inventory
Formal Methods for Components and Objects
X
You must be logged in to review the productsX
X
X
Add Formal Methods for Components and Objects, Formal methods have been applied successfully to the verification of medium-sized programs in prool and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software en, Formal Methods for Components and Objects to the inventory that you are selling on WonderClubX
X
Add Formal Methods for Components and Objects, Formal methods have been applied successfully to the verification of medium-sized programs in prool and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software en, Formal Methods for Components and Objects to your collection on WonderClub |
