loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Technology of Object-Oriented Languages and Systems
Contracts: From Analysis to C++ Implementation
Santa Barbara, California
August 01-August 05
ISBN: 0-7695-0278-4
Reinhold Ploesch, Johannes Kepler University at Linz
Josef Pichler, Johannes Kepler University at Linz
Standard C++ does not provide mechanisms for working with assertions in the spirit of design by contract (DBC) as proposed by Meyer. We earlier developed a set of techniques and tools facilitating the prototyping of object-oriented architectures based on the idea of design by contract.As it is crucial for us to support evolutionary prototyping, we need to provide mechanisms to automatically transform the classes and assertions specified in our prototyping environment to C++. Therefore we developed a system that automatically transforms classes and assertions of our prototyping system to C++. As a side effect our environment provides general mechanisms for realizing design by contract for the programming language C++.
Index Terms:
Design by Contract, assertions
Citation:
Reinhold Ploesch, Josef Pichler, "Contracts: From Analysis to C++ Implementation," tools, pp.248, Technology of Object-Oriented Languages and Systems, 1999
Usage of this product signifies your acceptance of the Terms of Use.