Specification matching for software reuse
- 1 August 1995
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operationsTheoretical Computer Science, 1992
- Software reuseACM Computing Surveys, 1992
- An order-sorted logic for knowledge representation systemsArtificial Intelligence, 1992
- Semantics of order-sorted specificationsTheoretical Computer Science, 1992
- Implementing faceted classification for software reuseCommunications of the ACM, 1991
- An information retrieval approach for automatically constructing software librariesIEEE Transactions on Software Engineering, 1991
- Semi-automatic program construction from specifications using library modulesIEEE Transactions on Software Engineering, 1991
- Specifying reusable components using Z: realistic sets and dictionariesACM SIGSOFT Software Engineering Notes, 1989
- Many-sorted unificationJournal of the ACM, 1988
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965