Title: A methodology for writing class contracts
Authors: Smeets, Nele ×
Steegmans, Eric #
Issue Date: 2005
Publisher: Springer-verlag berlin
Series Title: SOFSEM 2005:Theory and Practice of Computer Science, LNCS vol:3381 pages:418-422
Conference: SOFSEM 2005, 31st Annual Conference on Current Trends in Theory and Practice of Informatics location:Liptovsky Jan, Slovak Republic, Europe date:January 22-28, 2005
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.
ISBN: 3-540-24302-x
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science