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
Emulating Design by Contract in C++
Nancy, France
June 07-June 10
ISBN: 0-7695-0275-X
David Maley, Queen's University of Belfast
Ivor Spence, Queen's University of Belfast
To date, much of the software written in Computational Physics has been produced with little regard paid to modern software engineering techniques; this paper documents experiences in beginning to address this shortcoming for Config, a component of the Graphical R-Matrix Atomic Collision Environment (GRACE). The work is based around a formal specification of the Config component. The principal focus of the paper will be on a non-intrusive mechanism for monitoring constraints such as class invariants, preconditions and postconditions for highly structured data types based on the containers and algorithms of the Standard Template Library (STL), a mechanism which can be extended to handle structured object update and display prototyping.
Index Terms:
Computational Physics, C++, Standard Template Library, Design by Contract
Citation:
David Maley, Ivor Spence, "Emulating Design by Contract in C++," tools, pp.66, Technology of Object-Oriented Languages and Systems, 1999
Usage of this product signifies your acceptance of the Terms of Use.