A Framework for Adding Design by ContractTM to the .NET Object-Oriented Programming Languages
By: Jennifer Pandolfo, Cui Zhang
Abstract
Even though Design by Contract (DBC) has been supported by Eiffel since 1985, other programming languages that offer built-in DBC support are still rare. Redundant efforts have taken place to implement the support of DBC for different object-oriented programming languages. This paper presents the design and implementation of a framework for extending object-oriented programming languages to support DBC.
Cite as:
Jennifer Pandolfo, Cui Zhang, “A Framework for Adding Design by ContractTM to the .NET Object-Oriented Programming Languages”, Journal of Object Technology, Volume 9, no. 1 (January 2010), pp. 81-115, doi:10.5381/jot.2010.9.1.a1.
PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn