Formalizing Design Patterns Contract Sample Contracts
A Comprehensive Contract for CompositeFormalizing Design Patterns Contract • September 11th, 2007
role; they are analogous to abstraction functions. The latter elements are similar, but used to document method real- izations. This includes documenting the mappings between signature elements, and argument and return values.