DocumentCode
2980186
Title
Emulating design by contract in C++
Author
Maley, David ; Spence, Ivor
Author_Institution
Queen´´s Univ., Belfast, UK
fYear
1999
fDate
36342
Firstpage
66
Lastpage
75
Abstract
To date, much of the software written in computational physics has been produced with little regard paid to modern software engineering techniques. The 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
Keywords
C++ language; formal specification; physics computing; software libraries; C++; Config; GRACE; Graphical R-Matrix Atomic Collision Environment; Standard Template Library; class invariants; computational physics; constraint monitoring; design emulation; display prototyping; formal specification; highly structured data types; non-intrusive mechanism; postconditions; preconditions; software engineering techniques; structured object update; Containers; Contracts; Displays; Electrons; Formal specifications; Monitoring; Packaging; Physics; Software engineering; Software libraries;
fLanguage
English
Publisher
ieee
Conference_Titel
Technology of Object-Oriented Languages and Systems, 1999. Proceedings of
Conference_Location
Nancy
Print_ISBN
978-0-7695-0275-5
Type
conf
DOI
10.1109/TOOLS.1999.779000
Filename
779000
Link To Document