Support for design by contract™ in the C# programming language

Journal of Object Technology

Volumn 4, Issue 7, 2005, Pages 65-82

  Henne Wu, Rachel ^a,b   Mitchell, William ^a   Zhang, Cui ^a  

^a CALIFORNIA STATE UNIVERSITY   (United States)

^b Old Republic Title Information Concepts   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 25844491074     PISSN: 16601769     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2005.4.7.a2     Document Type: Review

References (27)

1. Andrews, G. R. and R. A. Olsson. The SR Programming Language: Concurrency in Practice. Redwood City, CA: Benjamin/Cummings, 1993.
2. Arnout, Karine and Raphaël Simon, "The .NET Contract Wizard: Adding Design by Contract to Languages Other Than Eiffel," Goleta, CA: Interactive Software Engineering, Inc, 2001. http://se.inf.ethz.ch/publications/ arnout/conferences/tools_usa/2001/contract_wizard.pdf
3. Berg, W, M.Cline, and M.Girou, "Lessons learned from the OS/400 OO project", CACM, vol. 38, no. 10, 1995.
4. Binder, R., "Testing Object-Oriented Systems," Addison Wesley Longman, 2000, pp. 807-916.
5. "Contracts." Digital Mars: The D Programming Language. March 28, 2003, http://www.digitalmars.com/d/dbc.html.
6. "Contracts for Python," June 21, 2003, http://www.wayforward. net/pycontract/
7. "Design by Contract™ for Java™ Using JMSAssert™," http://www.mmsindia.com/DBCForJava.html
8. Duncan, Andrew and Urs Holzle. "Adding Contracts to Java with Handshake." Technical Report TRCS98-32, Department of Computer Science, University of California, Santa Barbara, http://citeseer.nj.nec.com/ duncan98adding.html
9. Karaorman, Murat, Urs Hölzle, and John Bruno, "jContractor: A Reflective Java Library to Support Design by Contract," In Proceedings of Meta-Level Architectures and Reflection, Lecture Notes in Computer Science, nr 1616, Springer Verlag, 1999. http://people.cs.uchicago.edu/~robby/contract- reading-list/~jContractor.pdf
10. Kott and Peasant, "Representation and Management Of Requirements-The Rapid_WS Project," Concurrent Engineering: Research and Applications, vol. 3, no. 2, June 1995.
11. Kramer, Reto. "iContract - The Java™ Design by Contract ™Tool," Proceedings of Technology of Object-Oriented Languages, TOOLS 26, IEEE Computer Society, 1998. http://www.reliable-systems.com/tools
12. Lackner, Martin, Andreas Krall, and Franz Puntigam, "Supporting Design by Contract in Java," Journal of Object Technology, vol. 1, no. 3, special issue: TOOLS USA 2002 proceedings, pp. 57-76, August 2002, http://www.jot.fm/issues/ issue_2002_08/article4
13. Lampson, B. W. J. J. Horning, R. L. London, J. G. Mitchell, and G. L. Popek. "Report on the Programming Language Euclid," SIGPLAN Notice, vol. 12, number 2, pp. 1-79, 1977.
14. Luckham, D. and F. W. von Henke. "An Overview of Anna, A Specification Language for Ada." IEEE Software, vol. 2, number 2, pp. 9-22, 1985.
15. McFarlane, Kevin. "Design by Contract Framework," The Code Project, July 13, 2002, http://www.codeproject.com/csharp/designbycontract.asp.
16. Meyer, Bertrand. Eiffel: The Language. Prentice Hall, 1992.
17. Meyer, Bertrand. Object-Oriented Software Construction. Prentice-Hall, 1997.
18. Plösch, Reinhold, "Design by Contract for Python," Proceedings of Asia Pacific Software Engineering Conference, IEEE Computer Society, 1997.
19. Plösch, Reinhold, "Evaluation of Assertion Support for the Java Programming Language," Journal of Object Technology, vol. 1, no. 3, special issue: TOOLS USA 2002 proceedings, pp. 5-17, August, 2002, http://www.jot.fm/issues/_issue_2002_08/articlel
20. Rumbaugh, Jacobson, and Booch, "The Unified Modeling Language reference manual," Addison Wesley Longman, 1998.
21. Shaw, M. Alphard: Form and Content. New York: Springer-Verlag, 1981.
22. Sjögren, Andreas. "A Method for Support for Design by Contract on the .NET platform." Extended Report for I. Crnkovic and M. Larsson (editors), "Building Reliable Component-Based Systems." Artech House, July 2002.
23. Stavely, A., "Toward Zero-Defect Programming," Addison Wesley, 1999.
24. "The Jass Page: Introduction to Design by Contract." University of Oldenburg, Germany http://csd.informatik.uni-oldenburg.de/~jass/doc/intro. html
25. Tran, Nam, Christin Mingins, David Abramson, and Alex Mikunov, "Rotor Project Proposal: Support for Assertions in the Rotor Runtime," School of Computer Science and Software Engineering, Monash University, Australia, June, 2002. http://www.csse.monash.edu.au/~namtt/rotor/ MonashRotorProject.html.
26. "What is jContractor?" http://jcontractor.sourceforge.net/
27. Zhang, Cui and Lucy Y. Zheng, "Object-Oriented Programming with Assertions," International Journal of Computer Science and Information Management, vol.3, no.1, pp. 59-71, 2000.