Contracts: specifying behavioral compositions in object-oriented systems
Authors:
Open Access
- 1 September 1990
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 25 (10) , 169-180
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-specific1989
- DSM: an object-relationship modeling language1989
- Object-oriented design: a responsibility-driven approach1989
- A laboratory for teaching object oriented thinking1989
- 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