Extracting implicit contracts from .NET libraries

Authors:
Karine Arnout
Affiliations:
ETH Zürich, Zürich
Venue:
OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Year:
2002

Citing 2
Cited 1

Reusable software: the Base object-oriented component libraries

Reusable software: the Base object-oriented component libraries
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)

The B Method And The Component-Based Approach

Journal of Integrated Design & Process Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Can libraries written without explicit support for Design by Contract™ in the language or the method benefit from a posteriori addition of contracts? To help answer this question, we performed an empirical study of library classes from the .NET Collections library, which doesn't use Design by Contract, to search for unexpressed contracts. This poster reports on what we have found, and discusses whether the results could be used to improve the design of the classes and make them easier to learn and use.