Contract-oriented specifications

Proceedings - 24th Technology of Object-Oriented Languages and Systems, TOOLS 1997

Volumn , Issue , 1997, Pages 131-140

  Mitchell, Richard ^a   Howse, John ^a   Hamie, Ali ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN BY CONTRACTS; EQUATIONAL SPECIFICATIONS; PROPERTY;

SPECIFICATIONS;

EID: 85069255652     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Booch G, Jacobson I and Rumbaugh J (1997). The Unified Modelling Language for object-oriented development. [Online; accessed on 31 October 1997]. Available: Rational Software Corp. http://www.rational.eom/ot/uml/l.0/index.html
2. Cheon Y and Leavens G (1994): The Larch/Smalltalk Interface Specification Language. ACM Transactions on Software Engineering and Methodology, 3(3):221-253, July 1994.
3. Coleman D, Arnold P, Bodoff S, Dollin C, Gilchrist H, Hayes F and Jeremaes P (1994). Object-oriented development. The Fusion method. Prentice Hall.
4. Cook S and Daniels J (1994). Designing object systems. Prentice Hall.
5. D'Souza D and Wills A (1997). Component-based development using Catalysis. [Online; accessed 31 October 1997]. Available: ICON Computing Inc., http://www.iconcomp.com
6. Garland S and Guttag J (1991). A guide to LP, the Larch Prover. Technical Report TR82. Digital Equipment Corporation, Systems Research Center.
7. Guttag J and Horning J (1993). Larch: languages and tools for formal specification. Springer-Verlag
8. Jones C B (1986). Systematic software development using VDM. Prentice-Hall.
9. Leavens G (1997). An Overview of Larch/C++: behavioral Specifications for C+ + Modules. Technical Report TR#96-01c, Department of Computer Science, Iowa State University.
10. Meyer B (1992). Eiffel. The language. Prentice Hall.
11. Meyer, B (1994a). Beyond design by contract. TOOLS Pacific '94 Keynote slides. ISE
12. Meyer B (1994b). Reusable software. The base object-oriented component libraries. Prentice Hall.
13. Mitchell R, Howse J and Hamie A (1998). A contract-oriented specification for a SET class. Technical Report CMS-98-01, School of Computing and Mathematical Sciences, University of Brighton.
14. Mitchell R and McKim J (1996). Design by contract. TOOLS USA '96 Tutorial. ISE
15. Mitchell R (1996). Software contracting using deconstructors. Technical Report UBC 96/01. University of Brighton.
16. Musser D. (1997) The Standard Template Library. [Online; accessed on 31 October 1997]. Available at: http://www.cs.rpi.edu/~musser/stl.html