Contracts: From analysis to C++ implementation

Proceedings - Technology of Object-Oriented Languages and Systems, TOOLS 1999

Volumn , Issue , 1999, Pages 248-257

  Plösch, Reinhold ^a   Pichler, Josef ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

OBJECT ORIENTED PROGRAMMING;

ARCHITECTURE-BASED; DESIGN BY CONTRACTS; EVOLUTIONARY PROTOTYPING; OBJECT-ORIENTED ARCHITECTURES; PROGRAMMING LANGUAGES - C++; PROTOTYPING SYSTEMS; SIDE EFFECT; TECHNIQUES AND TOOLS;

C++ (PROGRAMMING LANGUAGE);

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

References (19)

1. Bäumer D., Bischofberger W. R., Lichter H., Züllighoven H.: “User Interface Prototyping - Concepts, Tools, and Experience“, Proceedings of the 18th International Conference on Software Engineering (ICSE), Berlin, Germany, March 1996, pp 532-541
2. Booch G.: Object-oriented Analysis and Design with Applications, The Benjamin Cummings Publishing Company, 1994
3. Carey J. M., Currey J. D.: “The Prototyping Conundrum”, Datamation, June 1, 1989, pp 29-33
4. Cline M.P. and Lea D.: “The Behavior of C++ Classes”, Proceedings of the Symposium On Object-Oriented Programming Emphasizing Practical, Applications 1990, pp 81-91
5. Goma H.: “Prototypes - Keep Them or Throw Them Away”, in: Lipp M. E. (ed.): Prototyping - State of the Art Report, Pergamon Infotech Ltd, Maidenhead, 1986, pp 41-54
6. Gordon S., Bieman J.: Rapid Prototyping and Software Quality: Lessons from Industry, Technical Report CS-91-113, Department of Computer Science, Colorado State University, 1991
7. Jacobson I.: Object-Oriented Software Engineering - A Use Case Driven Approach, Addison-Wesley, 1993
8. Kramer R.: “iContract-The Java Design by Contract Tool”, Proceedings of TOOLS USA'98 conference, 1998
9. Leavans G. T.: An Overview of Larch/C++: Behavioral Specifications for C++ Modules, TR 96-01d, February 1996, revised March, April 1996, January, July 1997, Department of Computer Science, Iowa State University, 1997
10. Lutz M.: Programming Python, O'Reilly & Associates, Sebastopol, 1996
11. Meyer B.: “Building Bug-Free O-O Software: An Introduction to Design by Contract”, Object Currents, SIGS Publication, Vol. 1, No. 3, March 1996
12. Meyer B.: Eiffel - The Language, Prentice Hall, Object-Oriented Series, Hemel Hempstead, 1992
13. nd Edition, Prentice Hall Inc., 1997
14. Ploesch R.: “Design by Contract for Python”, Proceedings of joint APSEC'97, ICSC'97 conference, Hong Kong, IEEE Computer Society, Press, 1997, pp 213-219
15. Ploesch R.: “Tool Support for Design by Contract”, Proceedings of TOOLS USA 98 conference, Santa Barabara, USA, IEEE Computer Society Press, pp 282-294, 1998
16. Rumbaugh J.: Object-Oriented Modeling and Design, Prentice Hall, 1991
17. Sobol M. G., Kagan A.: “Which Systems Analysts are more Likely to Prototype?”, Journal of Information System Management, Summer 1989, pp 36-43
18. Spivey J. M.: The Z Notation: A Reference Manual, International Series in Computer Science, Prentice-Hall, New York, 1992
19. Vonk R.: Prototyping, The effective use of CASE Technology, Prentice Hall Inc, 1990