Contracts: Specifying Behavioral Compositions in Object-Oriented Systems

ACM SIGPLAN Notices

Volumn 25, Issue 10, 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

EID: 84976833144     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/97946.97967     Document Type: Article

References (26)

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(1):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, 1(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, 1(3):8-22, August, September 1988. A shorter version of this paper was presented at the 10th International Conference on Software Engineering, Singapore, April 1988, IEEE Press, pages 254-264.
18. Mark A. Linton, John M. Vlissides, and Paul R. Calder. Composing user interfaces with interviews. IEEE Computer Magazine, 8-22, February 1989.
19. Bertrand Meyer. Object-Oriented Software Construction. Series in Computer Science, Prentice Hall International, 1988.
20. 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.
21. 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.
22. 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.
23. 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.
24. Anthony I. Wasserman. An object-oriented structured design method for code generation. ACM/SIGSOFT, Software Engineering Notes, 14(1), January 1989.
25. Rebecca Wirfs-Brock and Ralph E. Johnson. A survey of current research in object-oriented design. Communications of the ACM, 1990 To Appear.
26. Rebecca Wirfs-Brock and Brian Wilkerson. Objectoriented design: a responsibility-driven approach. In Object-Oriented Programming Systems, Languages and Applications Conference, pages 71-76, ACM, New Orleans, LA, 1989.