Specification directed module testing
IEEE Transactions on Software Engineering
Software engineering (2nd ed.)
Software engineering (2nd ed.)
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Motif programming: the essentials…and more
Motif programming: the essentials…and more
The Z notation: a reference manual
The Z notation: a reference manual
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object oriented programming with C++ and OSF/Motif (2nd ed.)
Object oriented programming with C++ and OSF/Motif (2nd ed.)
ACM SIGSOFT Software Engineering Notes
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Making the most of formal specification through animation, testing and proof
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
The C++ Programming Language, Third Edition
The C++ Programming Language, Third Edition
Formal Object-Oriented Development
Formal Object-Oriented Development
Software Maintenance Management
Software Maintenance Management
Computer
Preliminary Design of Larch/C++
Proceedings of the first First International Workshop on Larch
Emulating Design by Contract in C++
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Hi-index | 0.00 |
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.