The .NET Contract Wizard: adding Design by Contract to languages other than Eiffel

Author

Arnout, Karine ; Simon, Raphaël

Author_Institution

Interactive Software Eng. Inc., Goleta, CA, USA

fYear

2001

fDate

2001

Firstpage

14

Lastpage

23

Abstract

Reliability is a key concern in the current state of software industry. Producing software without defects is still very difficult. Therefore it is crucial to benefit from high-level language mechanisms such as assertions. Nevertheless contracts are mostly a specificity of the Eiffel language. This observation convinced ISE to build a new product, the Contract Wizard, which aims at providing .NET developers with the ability to add contracts to a .NET assembly independently from the .NET language it was initially written in. The paper first gives an overview of the existing implementation of Design by Contract in various programming languages. It then explains how the new ISE Contract Wizard works by providing a guided tour of the product

Keywords

object-oriented languages; software reliability; .NET Contract Wizard; .NET assembly; Design by Contract; assertions; high-level language mechanisms; programming languages; reliability; software development; Assembly; Buildings; Computer languages; Contracts; High level languages; Power system reliability; Programming profession; Software engineering; Software systems; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

Technology of Object-Oriented Languages and Systems, 2001. TOOLS 39. 39th International Conference and Exhibition on

Conference_Location

Santa Barbara, CA

ISSN

1530-2067

Print_ISBN

0-7695-1251-8

Type

conf

DOI

10.1109/TOOLS.2001.941655

Filename

941655