Sold Out
Book Categories |
The MOBIUS Project
The MOBIUS Proof Carrying Code Infrastruuturo (An Overview) Gilles Barthe Barthe, Gilles Pierre Cregul Cregul, Pierre Benjamin Gregoire Gregoire, Benjamin Thomas Jensen Jensen, Thomas David Pichardic Pichardic, David 1
Certification Using the Mobius Base Logic Lennart Beringer Beringer, Lennart Marlin Hofmann Hofmann, Marlin Maricia Pavlova Pavlova, Maricia 25
Safety Guarantees from Explicit Resource Management David Aspinall Aspinall, David Patrick Maier Maier, Patrick Ian Stark Stark, Ian 52
Universe Types for Topology and Encapsulation Dave Cunningham Cunningham, Dave Werner Dietl Dietl, Werner Sophia Drossopoulou Drossopoulou, Sophia Adrian Francalanza Francalanza, Adrian Peter Muller Muller, Peter Alexander J. Summers Summers, Alexander J. 72
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode Elvira Alberi Alberi, Elvira Puri Arenas Arenas, Puri Samir Genaim Genaim, Samir German Puebla Puebla, German Damiano Zanardini Zanardini, Damiano 113
The GridCOMP Project
Active Objects and Distributed Components: Theory and Implementation Denis Caromel Caromel, Denis Ludovic Henrio Henrio, Ludovic Eric Madelaine Madelaine, Eric 133
The SELFMAN Project
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project Peter Van Roy Van Roy, Peter Saif Haridi Haridi, Saif Alexander Reinefeld Reinefeld, Alexander Jean-Bernard Stefani Stefani, Jean-Bernard Roland Yap Yap, Roland Thierry Coupage Coupage, Thierry 153
The ARTIST Project
Causal Semantics for the Algegra of Connectors (Extended Abstract) Simon Blindze Blindze, Simon Joseph Sifakis Sifakis, Joseph 179
Multiple ViewpointContract-Based Specification and design Albert Benveniste Benveniste, Albert Benoit Gaillaud Gaillaud, Benoit Alberto Ferrari Ferrari, Alberto Leonardo Mangeruea Mangeruea, Leonardo Roberto Passerone Passerone, Roberto Christos Sofronis Sofronis, Christos 200
The CREDO Project
Coordination: Reo, Nets, and Logic Dave Clarke Clarke, Dave 226
An Object-Oriented Component Model for Heterogeneous Nets Einar Broch Johnsen Johnsen, Einar Broch Olaf Owe Owe, Olaf Joakim Bjork Bjork, Joakim Marcel Kyas Kyas, Marcel 257
Coordinating Object Oriented Components Using Data-Flow Networks Mohammad Mahdi Jaghoori Jaghoori, Mohammad Mahdi 280
Author Index 313
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: 6th International Symposium, Fmco 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures
X
This Item is in Your InventoryFormal Methods for Components and Objects: 6th International Symposium, Fmco 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures
X
You must be logged in to review the productsX
X
X
Add Formal Methods for Components and Objects: 6th International Symposium, Fmco 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures, 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: 6th International Symposium, Fmco 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures to the inventory that you are selling on WonderClubX
X
Add Formal Methods for Components and Objects: 6th International Symposium, Fmco 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures, 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: 6th International Symposium, Fmco 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures to your collection on WonderClub |