Config: A Case Study in Combining Software Engineering Techniques | Zendy

David Maley | Zendy; Ivor Spence | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Config: A Case Study in Combining Software Engineering Techniques

Author(s) -

David Maley,

Ivor Spence

Publication year - 2000

Publication title -

scientific programming

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.269

H-Index - 36

eISSN - 1875-919X

pISSN - 1058-9244

DOI - 10.1155/2000/401540

Subject(s) - computer science , programming language , inheritance (genetic algorithm) , design by contract , software engineering , software development , component based software engineering , object oriented programming , dimension (graph theory) , component (thermodynamics) , software construction , software , mathematics , biochemistry , chemistry , physics , pure mathematics , gene , thermodynamics

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research