Tool support for design by contract

Proceedings - 26th Technology of Object-Oriented Languages and Systems, TOOLS 1998

Volumn , Issue , 1998, Pages 282-294

  Plösch, Reinhold ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

C++ (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; OBJECT ORIENTED PROGRAMMING; PROGRAM DEBUGGING; SOFTWARE DESIGN; SOFTWARE PROTOTYPING;

DESIGN BY CONTRACTS; DEVELOPMENT STRATEGIES; EXECUTABLE MODELING; EXPERIENCE REPORT; GAINING INSIGHTS; GRAPHICAL NOTATION; OBJECT ORIENTATION; OBJECT-ORIENTED ANALYSIS; PROBLEM DOMAIN; TOOL SUPPORT;

PYTHON;

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

References (33)

1. Arapis C.: “A Temporal Perspective of Composite Objects”, in: Nierstrasz O., Tsichritzis D.: “Object-Oriented Software Composition”, Prentice Hall, The Object-Oriented Series, 1995, pp 123-152
2. 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
3. Behringer D.: “Modelling Global Behaviour with Scenarios in Object-Oriented Analysis”, Theses No. 1655 (1997), Ecole Polythechnique Federale de Lausanne (EPFL), 1997
4. Bischofberger W. R., Pomberger G: “Prototyping-Oriented Software Development - Concepts and Tools”, Springer-Verlag, 1992
5. Booch G.: “Object-oriented Analysis and Design with Applications”, The Benjamin Cummings Publishing Company, 1994
6. Bowen J. P., Hinchey M. G.: “Ten Commandments of Formal Methods”, IEEE Computer, IEEE Computer Society, April 1995, pp 56-63
7. Carey J. M., Currey J. D.: “The Prototyping Conundrum”, Datamation, June 1, 1989, pp 29-33
8. Carillo-Castellon M., Garcia-Molina J., Pimentel E., Repiso I.: “Design by Contract in Smalltalk”, Journal of Object Oriented Programming, November-December 1996, pp 23-28
9. Dijkstra E.W.: “A Discipline of Programming”, Prentice Hall, Englewood Cliffs, 1976
10. Gamma E., Helm R., Johnson R., Vlissides J.: “Design Patterns - Elements of Reusable Object-Oriented Software”, Addison-Wesley, Professional Computing Series, Reading, Massachusetts, 1994
11. 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
12. 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
13. Graham I.: “Task Scripts, Use Cases and Scenarios in Object Oriented Analysis”, Object Oriented Systems 3, 1996, pp 123-142
14. Helm R., Holland I.M., Gangopadhyay D.: “Contracts: Specifying Behavioral Compositions in Object-Oriented Systems”, Proceedings of ECOOP/OOPSLA'90 conference, 1990, pp 169-180
15. Hoare C.A.R.: “Proof of Correctness of Data Representations”, Acta Informatica, Vol. 1, 1972, pp 271-281
16. Holland I.M.: “Specifying Reusable Components Using Contracts”, Proceedings of ECOOP 92 conference, Lecture Notes in Comuter Science 615, Springer Verlag, 1992, pp 287-308
17. Jacobson I.: “Object-Oriented Software Engineering - A Use Case Driven Approach”, Addison-Wesley, 1993
18. Kramer R. “iContract-The Java Design by Contract Tool”, to be published in Proceedings of TOOLS USA'98 conference, 1998
19. 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
20. Lutz M.: “Programming Python”, O'Reilly & Associates, Sebastopol, 1996
21. Manna Z., Pnueli A.: “The Temporal Logic of Reactive and Concurrent Systems - Specification”, Springer-Verlag, 1991
22. Meyer B.: “Building Bug-Free O-O Software: An Introduction to Design by Contract”, Object Currents, SIGS Publication, Vol. 1, No. 3, March 1996
23. Meyer B.: “Eiffel - The Language”, Prentice Hall, Object-Oriented Series, Hemel Hempstead, 1992
24. Ploesch R.: “Design by Contract for Python”, Proceedings of the Asia Pacific Software Engineering Conference, 1997
25. Pomberger G., Blaschek G.: “Object-Orientation and Prototyping in Software Engineering”, Prentice Hall, The object-oriented series, Hemel Hempstead, 1996
26. Ralyté J., Ben Achour C.: “Scenario Integration into Requirements Engineering Methods”, Proceedings of the Workshop on the Many Facets of Process Engineering (MFPE'97), Gammarth, Tunis, September 22-23, 1997
27. Roadhouse Z.: see http://starship.skyport.net/crew/zack/ptui for more details
28. Rumbaugh J.: “Object-Oriented Modeling and Design”, Prentice Hall, 1991
29. Shang D. L.: “Multiple Inheritance - A Critical Comparison on Transframe, Java & C++”, Object Currents, SIGS Publication, Vol. 1, No. 11, November 1996
30. Sobol M. G., Kagan A.: “Which Systems Analysts are more Likely to Prototype?”, Journal of Information System Management, Summer 1989, pp 36-43
31. Spivey J. M.: “The Z Notation: A Reference Manual”, International Series in Computer Science, Prentice-Hall, New York, 1992
32. UML: “Unified Method for Object-Oriented Development”, Rational Software Corporation, Version 0.91, 1996
33. Weinand A., Gamma E., Marty R.: “Design and Implementation of ET++, a Seamless Object-Oriented Application Framework”, Structured Programming, Vol. 10, No. 2, Springer International, 1989, pp 63-87