Contracts: Specifying behavioral compositions in object-oriented systems

Proceedings of the European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA/ECOOP 1990

Volumn , Issue , 1990, Pages 169-180

  Helm, Richard ^a   Holland, Ian M ^b   Gangopadhyay, Dipayan ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

^b NORTHEASTERN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; BEHAVIORAL RESEARCH; COMPUTER SOFTWARE REUSABILITY; COMPUTER SYSTEMS PROGRAMMING; GRAIN REFINEMENT;

IMPORTANT FEATURES; LARGE-GRAIN; OBJECT-ORIENTED SYSTEM; PROGRAM UNDERSTANDING;

OBJECT ORIENTED PROGRAMMING;

EID: 84976822460     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/97945.97967     Document Type: Conference Paper

References (27)

1. Apple Computer Inc. Macintosh Programmers Workshop Pascal 3.0 Reference. Cupertino, California, 1989.
2. Kent Beck and Ward Cunningham. A laboratory for teaching object oriented thinking. In Object-Oriented Programming Systems, Languages and Applications Conference, pages 1-6, ACM, New Orleans, LA, 1989.
3. Grady Booch. Object-Oriented Design. Benjamin/Cummings Publishing Comapany, Redwood City, California, 1991.
4. Grady Booch. Object-oriented development. IEEE Transactions on Software Engineering, SE-12(2), Feb. 1986.
5. Roy H. Campbell, Vincent F. Russo, and Gary Johnston. Choices: the design of a multi-processor operating system. In Usenix C++ Workshop, pages 109-123, Santa Fe, New Mexico, November 1987.
6. L. Peter Deutsch. Design reuse and frameworks in the smalltalk-80 system. In Ted J. Biggerstaff and Alan J. Perlis, editors, Software Reusability. Volume II. Applications and Experience, ACM, 1989.
7. M. Evangelist, N. Francez, and S. Katz. Multiparty interactions for interprocess communication and synchronization. IEEE Transactions on Software Engineering, 15(11):1417-1426, November 1989.
8. N. Francez, B. Hailpern, and Gadi Taubenfeld. Script: a communication abstraction mechanism, and its verification. Science of Computer Programming, 6(l):35-88, 1986.
9. D. Gangopadhyay and A.R. Helm. A Model-Driven Approach for the Reuse of Classes from Domain Specific Object-Oriented Class Repositories. Technical Report RC14510, IBM Research Division, March 1989.
10. Richard Helm and Ian Holland. An Interaction Oriented approach to design using contracts. Technical Report In preparation, IBM Research Division, 1990.
11. H. Jarvinen, R. Kurki-Suonio, M. Sakkinen, and K. Systa. Object-oriented specification of reactive systems. In International Conference on Software Engineering, pages 63-71, Nice, France, 1990.
12. Ralph E. Johnson and Brian Foote. Designing reusable classes. Journal of Object-Oriented Programming, l(2):22-35, June/July 1988.
13. Glenn E. Krasner and Stephen T. Pope. A cookbook for using the model-view controller user interface paradigm in smalltalk-80. Journal of Object-Oriented Programming, 26-49, August/Spetember 1988.
14. Karl Lieberherr. Object-oriented programming with class dictionaries. Journal on Lisp and Symbolic Computation, 1(2):185-212, 1988.
15. Karl J. Lieberherr and Ian Holland. Assuring good style for object-oriented programs. IEEE Software, 38-48, September 1989.
16. Karl J. Lieberherr and Ian Holland. Tools for preventive software maintenance. In Conference on Software Maintenance, pages 2-13, IEEE Press, Miami Beach, Florida, October 16-19, 1989.
17. Karl J. Lieberherr and Arthur J. Riel. Demeter: a CASE study of software growth through parameterized classes. Journal of Object-Oriented Programming, l(3):8-22, August, September 1988.
18. A shorter version of this paper was presented at the 10th International Conference on Software Engineering, Singapore, April 1988, IEEE Press, pages 254-264.
19. Mark A. Linton, John M. Vlissides, and Paul R. Calder. Composing user interfaces with interviews. IEEE Computer Magazine, 8-22, February 1989.
20. Bertrand Meyer. Object-Oriented Software Construction. Series in Computer Science, Prentice Hall International, 1988.
21. M. B. Rosson and J. M. Carroll. Deliberated Evolution: Stalking the View Matcher in Design Space. Technical Report Submitted for Publication, IBM Research Division, 1990.
22. Ashwin Shah, Jung Hamel, and Renee Borsari. Dsm: an object-relationship modeling language. In Object-Oriented Programming Systems, Languages and Applications Conference, pages 191-202, ACM, New Orleans, LA, 1989.
23. David Tanezer, Murthy Ganti, and Sunil Podar. Object-oriented software reuse: the yoyo problem. Journal of Object-Oriented Programming, 2(3):30-36, September/October 1989.
24. John M. Vlissides and Mark A. Linton. Unidraw: a framework for building domain-specific graphical editors. In ACM/SIGGRAPH/SIGCHI User Interface Software Technologies Conference, ACM, Williamsburg, VA, February 1989.
25. Anthony I, Wasserman. An object-oriented structured design method for code generation. ACM/SIGSOFT, Software Engineering Notes, 14(1), January 1989.
26. Rebecca Wirfs-Brock and Ralph E. Johnson. A survey of current research in object-oriented design. Communications of the ACM, 1990 To Appear.
27. Rebecca Wirfs-Brock and Brian Wilkerson. Object-oriented design: a responsibility-driven approach. In Object-Oriented Programming Systems, Languages and Applications Conference, pages 71-76, ACM, New Orleans, LA, 1989.