| Home > Publications > Reports > Informatics (CW) |
CW 399
Nele Smeets, Eric Steegmans
A methodology for writing class contracts
Abstract
One of the principles of Design by Contract is that contracts for software components must be written in a declarative way, using a formal, mathematically founded notation. When we apply the Design by Contract methodology in a naive and straightforward way, we risk ending up with unwanted duplication. In this paper, we describe a methodology for writing class contracts that avoids specification duplication and that gives rise to uniform class specifications with a clear and fixed structure.
report.pdf (124K) / mailto: N. Smeets