Uncovering Hidden Contracts: The .NET Example

Computer

Volumn 36, Issue 11, 2003, Pages 48-55+4

  Arnout, Karine ^a,b   Meyer, Bertrand ^a,b  

^a ETH ZURICH   (Switzerland)

^b Eiffel Software   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; DIGITAL LIBRARIES; JAVA PROGRAMMING LANGUAGE; SYSTEM PROGRAM DOCUMENTATION; SYSTEMS ANALYSIS; WORLD WIDE WEB;

SOFTWARE CONTRACTS;

SOFTWARE ENGINEERING;

EID: 0344160958     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2003.1244535     Document Type: Article

References (10)

1. B. Meyer, "Applying Design by Contract," Computer, Oct. 1992, pp. 40-51.
2. B. Meyer, Object-Oriented Software Construction, 2nd ed., Prentice Hall, 1997.
3. R. Mitchell and J. McKim, Design by Contract, by Example, Addison-Wesley, 2002.
4. J.M. Jezequel and B. Meyer, "Design by Contract: The Lessons of Ariane," Computer, Jan. 1997, pp. 129-130.
5. Microsoft, ".NETSystems.Collections Library," 2003; http://msdn.microsoft.com/library/default.asp?url=/library/en-us/cpref/html/ frlrfsystemcollections.asp.
6. C.A.R. Hoare, "Proof of Correctness of Data Representations," Acta Informatica, vol. 1, 1973, pp. 271-281.
7. K. Arnout and R. Simon, "The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel," Proc. TOOLS 39, IEEE CS Press, 2001, pp. 14-23.
8. B. Meyer, Reusable Software: The Base Object-Oriented Component Libraries, Prentice Hall, 1994.
9. M.D. Ernst, Dynamically Detecting Likely Program Invariants, doctorial dissertation, Univ. of Washington, 2000; http://buffy.eecs.berkeley.edu/Seminars/2000/03.Mar/000302.ernst.html.
10. K. McFarlane, "Design by Contract Framework for .NET," 2002; www.codeproject.com/csharp/designbycontract.asp; www.codeguru.com/net_general/designbycontract.html.