Specification matching of software components
- 1 October 1995
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 20 (4) , 6-17
- https://doi.org/10.1145/222132.222135
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Signature matchingACM Transactions on Software Engineering and Methodology, 1995
- A behavioral notion of subtypingACM Transactions on Programming Languages and Systems, 1994
- Visualization of a document collection: The vibe systemInformation Processing & Management, 1993
- Computing similarity in a reuse library systemACM Transactions on Software Engineering and Methodology, 1992
- Specification-level interoperabilityCommunications of the ACM, 1991
- An information retrieval approach for automatically constructing software librariesIEEE Transactions on Software Engineering, 1991
- Reasoning about object-oriented programs that use subtypesPublished by Association for Computing Machinery (ACM) ,1990
- The inscape environmentPublished by Association for Computing Machinery (ACM) ,1989
- Retrieving re-usable software components by polymorphic typePublished by Association for Computing Machinery (ACM) ,1989
- Keynote address - data abstraction and hierarchyPublished by Association for Computing Machinery (ACM) ,1987