A framework for proving contract-equipped classes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2589, Issue , 2003, Pages 108-125

  Meyer, Bertrand ^a,b,c  

^a ETH ZURICH   (Switzerland)

^b Eiffel Software   (United States)

^c MONASH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY;

PROOF OBLIGATIONS; TRUSTED COMPONENTS;

SOFTWARE DESIGN;

EID: 35248886656     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36498-6_6     Document Type: Article

References (17)

1. Jean-Raymond Abrial: The B Book, Cambridge University Press, 2002
2. Felix Bachmann, Len Bass, Charles Buhman, Santiago Comella-Dorda, Fred Long, John Robert, Robert Seacord, Kurt Wallnau: Technical Concepts of Component-Based Software Engineering, Software Engineering Institute CMU/SEI-2000-TR-008, 2000, available at http://www.sei.cmu.edu/publications/documents/00.reports/00tr008.html.
3. Bertrand Meyer, Reusability, the Case for Object-Oriented Design, in IEEE Software, vol. 4, no. 2, March 1987, pages 50-62.
4. Also in: Selected Reprints in Software, ed. M. Zelkowitz, IEEE Press, 1987;
5. Software Reusability, ed. T. Biggerstaff, Addison-Wesley, 1988;
6. Object-Oriented Computing, IEEE Press, 1988.
7. Bertrand Meyer: Applying "Design by Contract", in IEEE Computer, 25, 10, October 1992, pages 40.
8. Also in Object-Oriented Systems and Applications, ed. David Rine, IEEE Computer Press, 1994.
9. Bertrand Meyer: Eiffel: The Language, Prentice Hall, second printing, 1991.
10. Bertrand Meyer: Reusable Software: The Base Object-Oriented Libraries, Prentice Hall, 1994.
11. Bertrand Meyer: Object-Oriented Software Construction, second edition, Prentice Hall, 1997.
12. Bertrand Meyer, Christine Mingins and Heinz Schmidt: Providing Trusted Components to the Industry, in IEEE Computer, vol. 31, no. 5, May 1998, pages 104-105.
13. Bertrand Meyer: Contracts for Components, in Software Development, vol. 8, no. 7, July 2000, pages 51-53.
14. Bertrand Meyer: Towards a Component Quality Model, working paper at www.inf.ethz.ch/∼meyer.
15. Bertrand Meyer: Proving Program Pointer Properties, working paper at www.inf.ethz.ch/∼meyer.
16. Robert F. Stärk, Egon Borger and Joachim Schmid: Java and the Java Virtual Machine: Definition, Verification, Validation, Springer-Verlag, 2001.
17. Clemens Szyperski: Component Software: Beyond Object Oriented Programming. Addison-Wesley, 1998.