|
|
Sold Out
Book Categories |
| Security issues in service composition | 1 | |
| Separating distribution from coordination and computation as architectural dimensions | 17 | |
| The bisimulation proof method : enhancements and open problems | 18 | |
| An approach to quality achievement at the architectural level : AQUA | 20 | |
| Bounded analysis and decomposition for behavioural descriptions of components | 33 | |
| Modeling and validation of a software architecture for the ariane-5 launcher | 48 | |
| Synchronizing behavioural mismatch in software composition | 63 | |
| Static safety for an actor dedicated process calculus by abstract interpretation | 78 | |
| Temporal superimposition of aspects for dynamic software architecture | 93 | |
| Modeling long-running transactions with communicating hierarchical timed automata | 108 | |
| Transformation laws for UML-RT | 123 | |
| Underspecification, inherent nondeterminism and probability in sequence diagrams | 138 | |
| Generating instance models from meta models | 156 | |
| KM3 : A DSL for metamodel specification | 171 | |
| Defining object-oriented execution semantics using graph transformations | 186 | |
| Type-safe runtime class upgrades in Creol | 202 | |
| Abstract interface behavior of object-oriented languages with monitors | 218 | |
| Mobility mechanisms in service oriented computing | 233 | |
| Theoretical foundations of scope-based compensable flow language for Web service | 251 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
David Lundgren
reviewed Formal Methods for Open Object-Based Distributed Systems on July 13, 2018
Formal Methods for Open Object-Based Distributed Systems
Seems to get away from the point when using the examples. tries too hard to make it interesting using sample code and does not cover enough theory
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 Open Object-Based Distributed Systems
X
This Item is in Your Inventory
Formal Methods for Open Object-Based Distributed Systems
X
You must be logged in to review the productsX
X
X
Add Formal Methods for Open Object-Based Distributed Systems, This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together w, Formal Methods for Open Object-Based Distributed Systems to the inventory that you are selling on WonderClubX
X
Add Formal Methods for Open Object-Based Distributed Systems, This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together w, Formal Methods for Open Object-Based Distributed Systems to your collection on WonderClub |