Search

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