Formal Specification of Business Components – a Design by Contract Perspective

Abstract

In software developers’ world two aspects are common knowledge: software fails are expensive, so we need reliable software; software itself is expensive, so we want reusable software. Design by Contract, advocated by Bertrand Meyer, is known as one of the most comprehensive methods for ensuring reliability, while delivering reusable software components. A… (More)

Topics

2 Figures and Tables

Cite this paper

@inproceedings{Andronescu2006FormalSO, title={Formal Specification of Business Components – a Design by Contract Perspective}, author={Anca Andronescu and Oana Muntean}, year={2006} }