Design by Contract: Making Object-Oriented Programs that Work

2005 ◽  
Author(s):  
B. Meyer
Keyword(s):  
Object Oriented ◽  
Design By Contract

scholarly journals Config: A Case Study in Combining Software Engineering Techniques

2000 ◽  
Vol 8 (2) ◽  
pp. 59-71
Author(s):  
David Maley ◽  
Ivor Spence
Keyword(s):  
Software Engineering ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Substantial Contribution ◽  
Software Systems ◽  
Generic Programming ◽  
Design By Contract ◽  
R Matrix ◽  
Orthogonal Dimension

Config is a software component of the Graphical R-Matrix Atomic Collision Environment. Its development is documented as a case study combining several software engineering techniques: formal specification, generic programming, object-oriented programming, and design by contract. It is specified in VDM++; and implemented in C++, a language which is becoming more than a curiosity amongst the scientific programming community. C++supports object orientation, a powerful architectural paradigm in designing the structure of software systems, and genericity, an orthogonal dimension to the inheritance hierarchies facilitated by object oriented languages. Support in C++ for design by contract can be added in library form. The combination of techniques make a substantial contribution to the overall software quality.

Early generation of performance models for object-oriented systems

2000 ◽  
Vol 147 (3) ◽  
pp. 61 ◽  
Author(s):  
V. Cortellessa ◽  
G. Iazeolla ◽  
R. Mirandola
Keyword(s):  
Object Oriented ◽  
Performance Models ◽  
Early Generation ◽  
Object Oriented Systems

Object-oriented approach

IEE Review ◽  
1990 ◽  
Vol 36 (9) ◽  
pp. 338
Author(s):  
Stephen Wilson
Keyword(s):  
Object Oriented ◽  
Object Oriented Approach ◽  
Oriented Approach
Sign in / Sign up

Export Citation Format

Share Document