Programming by contract: Designing for correctness

JOOP - Journal of Object-Oriented Programming

Volumn 9, Issue 2, 1996, Pages 70-74

  McKim Jr , James C ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; SOFTWARE ENGINEERING;

EIFFEL (PROGRAMMING LANGUAGE); PROGRAMMING BY CONTRACT;

OBJECT ORIENTED PROGRAMMING;

EID: 0030151007     PISSN: 08968438     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (6)

1. Meyer, B. OBJECT-ORIENTED SOFTWARE CONSTRUCTION, Prentice Hall, Englewood Cliffs, NJ, 1988.
2. Meyer, B. Applying design by contract, IEEE COMPUTER 25(10):40-51, 1992.
3. Hoare, A. An axiomatic basis for computer programming, CACM October 1969, pp. 576-580, 583.
4. Dijkstra, E. A discipline of programming, Prentice Hall, Englewood Cliffs, NJ, 1976.
5. McKim, J. Class interface design and programming by contract, PROCEEDINGS OF TOOLS PACIFIC, Prentice Hall, Englewood Cliffs, NJ, 1995.
6. Gamma, E., R. Helm, R. Johnson, and J. Vlissides. DESIGN PATTERNS: ELEMENTS OF REUSABLE SOFTWARE, Addison-Wesley, Reading, MA, 1995.