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 |
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 ListX
This item is in your CollectionFormal Methods For Open Object-Based Distributed Systems
X
This Item is in Your InventoryFormal 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 in June 2006. The 16 revised full papers presented , 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 in June 2006. The 16 revised full papers presented , Formal Methods For Open Object-Based Distributed Systems to your collection on WonderClub |