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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Smeets, N., & Steegmans, E. (2005). A methodology for writing class contracts. In Lecture Notes in Computer Science (Vol. 3381, pp. 418–422). Springer Verlag. https://doi.org/10.1007/978-3-540-30577-4_52
Mendeley helps you to discover research relevant for your work.