Sold Out
Book Categories |
Component and Service Oriented Computing
A Software Component Model and Its Preliminary Formalisation Kung-Kiu Lau Mario Ornaghi Zheng Wang 1
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing Gian Luigi Ferrari Dan Hirsch Ivan Lanese Ugo Montanari Emilio Tuosto 22
System Design
Control of Modular and Distributed Discrete-Event Systems Jan Komenda Jan H. van Schuppen 44
Model-Based Security Engineering with UML: Introducing Security Aspects Jan Jurjens 64
The Pragmatics of Stairs Ragnhild Kobro Runde Oystein Haugen Ketil Stolen 88
Tools
Smallfoot: Modular Automatic Assertion Checking with Separation Logic Josh Berdine Cristiano Calcagno Peter W. O'Hearn 115
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs Dennis R. Dams Kedar S. Namjoshi 138
Algebraic Methods
Beyond Bisimulation: The "up-to" Techniques Davide Sangiorgi 161
Separation Results Via Leader Election Problems Maria Grazia Vigliotti Iain Phillips Catuscia Palamidessi 172
Divide and Congruence:From Decomposition of Modalities to Preservation of Branching Bisimulation Wan Fokkink Rob van Glabbeek Paulien de Wind 195
Model Checking
Abstraction and Refinement in Model Checking Orna Grumberg 219
Program Compatibility Approaches Edmund Clarke Natasha Sharygina Nishant Sinha 243
Cluster-Based LTL Model Checking of Large Systems Jiri Barnat Lubos Brim Ivana Cerna 259
Safety and Liveness in Concurrent Pointer Programs Dino Distefano Joost-Pieter Katoen Arend Rensink 280
Assertional Methods
Modular Specification of Encapsulated Object-Oriented Components Arnd Poetzsch-Heffter Jan Schafer 313
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 Patrice Chalin Joseph R. Kiniry Gary T. Leavens Erik Poll 342
Boogie: A Modular Reusable Verifier for Object-Oriented Programs Mike Barnett Bor- Yuh Evan Chang Robert DeLine Bart Jacobs K. Rustan M. Leino 364
Quantitative Analysis
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro Chris Hankin Herbert Wiklicky 388
Partial Order Reduction for Markov Decision Processes: A Survey Marcus Groesser Christel Baier 408
Author Index 429
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 Components and Objects
X
This Item is in Your InventoryFormal 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 the development of large systems requires more emphasis on specification, modelling and validation techn, 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 the development of large systems requires more emphasis on specification, modelling and validation techn, Formal Methods for Components and Objects to your collection on WonderClub |