Contracts: specifying behavioral compositions in object-oriented systems
- 1 September 1990
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 25 (10), 169-180
- https://doi.org/10.1145/97946.97967
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Surveying current research in object-oriented designCommunications of the ACM, 1990
- Unidraw: a framework for building domain-specificPublished by Association for Computing Machinery (ACM) ,1989
- DSM: an object-relationship modeling languagePublished by Association for Computing Machinery (ACM) ,1989
- Object-oriented design: a responsibility-driven approachPublished by Association for Computing Machinery (ACM) ,1989
- A laboratory for teaching object oriented thinkingPublished by Association for Computing Machinery (ACM) ,1989
- Assuring good style for object-oriented programsIEEE Software, 1989
- Composing user interfaces with InterViewsComputer, 1989
- An object-oriented structured design method for code generationACM SIGSOFT Software Engineering Notes, 1989
- Multiparty interactions for interprocess communication and synchronizationIEEE Transactions on Software Engineering, 1989
- Object-oriented programming with class dictionariesHigher-Order and Symbolic Computation, 1988