Article

The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel

Authors:

TOOLS '01: Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems (TOOLS39)

Page 14

Published: 29 July 2001 Publication History

Publisher Site

Abstract

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.

Cited By

View all

Rao ARaju P(2014)Optimization of program invariantsACM SIGSOFT Software Engineering Notes10.1145/2557833.255785239:1(1-9)Online publication date: 11-Feb-2014
https://dl.acm.org/doi/10.1145/2557833.2557852
Karaorman MAbercrombie P(2005)jContractorFormal Methods in System Design10.1007/s10703-005-3400-127:3(275-312)Online publication date: 1-Nov-2005
https://dl.acm.org/doi/10.1007/s10703-005-3400-1
Verheecke BVan Der Straeten RMeyer BPotter JNoble J(2002)Specifying and implementing the operational use of constraints in object-oriented applicationsProceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications10.5555/564092.564096(23-32)Online publication date: 1-Feb-2002
https://dl.acm.org/doi/10.5555/564092.564096

Recommendations

Automated negotiation based on contract net and petri net
EC-Web'05: Proceedings of the 6th international conference on E-Commerce and Web Technologies

In agent-mediated electronic markets, an agent may delegate part of the assigned tasks to other agents to achieve the business objectives via establishment of contracts. Electronic contracting relies on an effective model to automate the negotiation ...
Competitive Contract Net Protocol
SOFSEM '07: Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science

The proposed Competitive Contract Net Protocol has been designed to facilitate a flexible cooperation in competitive multi-agent environments and to support automated or semi-automated negotiations in competitive domains. The protocol is based on FIPA ...
Contract renegotiation and bargaining power: evidence from IT-related outsourcing agreements
ICEC '12: Proceedings of the 14th Annual International Conference on Electronic Commerce

Contract theory suggests that bargaining power affect contract negotiation and design. Most of contracting research studied the role of bargaining power in initial contract design but ignore its effects on ex post renegotiation. To fill this research ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

TOOLS '01: Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems (TOOLS39)

July 2001

Publisher

IEEE Computer Society

United States

Publication History

Published: 29 July 2001

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 17 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Rao ARaju P(2014)Optimization of program invariantsACM SIGSOFT Software Engineering Notes10.1145/2557833.255785239:1(1-9)Online publication date: 11-Feb-2014
https://dl.acm.org/doi/10.1145/2557833.2557852
Karaorman MAbercrombie P(2005)jContractorFormal Methods in System Design10.1007/s10703-005-3400-127:3(275-312)Online publication date: 1-Nov-2005
https://dl.acm.org/doi/10.1007/s10703-005-3400-1
Verheecke BVan Der Straeten RMeyer BPotter JNoble J(2002)Specifying and implementing the operational use of constraints in object-oriented applicationsProceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications10.5555/564092.564096(23-32)Online publication date: 1-Feb-2002
https://dl.acm.org/doi/10.5555/564092.564096

Abstract

Cited By

Recommendations

Automated negotiation based on contract net and petri net

Competitive Contract Net Protocol

Contract renegotiation and bargaining power: evidence from IT-related outsourcing agreements

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations