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.
Did you find this white paper useful?
28 out of 50 users found this white paper useful
Related white papers
Microsoft Webcast: Reducing Total Cost of Ownership by Transforming Natural and ADABAS Applications to the .NET Framework (Level 200)
Representatives from Microsoft and BluePhoenix explain how one can reduce the Total Cost of Ownership (TCO) by modernizing the Natural and ADABAS applications through the automated BluePhoenix process. Discover how...
MSDN Webcast: Introduction to SharePoint Products and Technologies for .NET Developers: Workflows (Level 200)
This webcast is on SharePoint Products and Technologies for Microsoft .NET developers. Workflows make it possible to implement processes that require interaction, such as e-mail approval or form completion, by...
MSDN Webcast: Introduction to SharePoint Products and Technologies for .NET Developers: Web Services (Level 200)
This webcast is on SharePoint Products and Technologies for Microsoft .NET developers. SharePoint Products and Technologies make it possible to allow list data access using code running on the server...
MSDN Webcast: Introduction to SharePoint Products and Technologies for .NET Developers: Page Navigation (Level 200)
This webcast is on SharePoint Products and Technologies for Microsoft .NET developers. This webcast look at how pages in SharePoint Products and Technologies are arranged into Web sites. It explains...
MSDN Webcast: Introduction to SharePoint Products and Technologies for .NET Developers: User Management (Level 200)
This webcast is on SharePoint Server Products and Technologies for Microsoft .NET developers. SharePoint Products and Technologies make it possible for users to create Web sites; when a user creates...
MSDN Webcast: ADO.NET Data Services Overview (Part 1 of 2) (Level 100)
This webcast illustrates how to take advantage of ADO.NET Data Services (formerly code-named Astoria) to easily and securely expose data as services over HTTP. It gives an overview of REST,...
MSDN Webcast: Introduction to SharePoint Products and Technologies for .NET Developers: Custom Content Types (Level 200)
This webcast is on SharePoint Products and Technologies for Microsoft .NET developers. Content types define what documents or other content types are used in SharePoint Products and Technologies document libraries....
