loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems (TOOLS39)
The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel
Santa Barbara, California
July 29-August 03
ISBN: 0-7695-1251-8
Karine Arnout, Interactive Software Engineering, Inc.
Raphaël Simon, Interactive Software Engineering, Inc.
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. This 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.
Citation:
Karine Arnout, Raphaël Simon, "The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel," tools, pp.0014, 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems (TOOLS39), 2001
Usage of this product signifies your acceptance of the Terms of Use.