Storing and retrieving software components: a refinement based system
- 1 July 1997
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 23 (7) , 445-460
- https://doi.org/10.1109/32.605762
Abstract
No abstract availableThis publication has 34 references indexed in Scilit:
- Component-based software using RESOLVEACM SIGSOFT Software Engineering Notes, 1994
- An empirical study of representation methods for reusable software componentsIEEE Transactions on Software Engineering, 1994
- Deciding type isomorphisms in a type-assignment frameworkJournal of Functional Programming, 1993
- Layered specifications to support reusability and integrabilityJournal of Systems Integration, 1993
- Retrieving reusable software by sampling behaviorACM Transactions on Software Engineering and Methodology, 1993
- On the lattice of specifications: Applications to a specification methodologyFormal Aspects of Computing, 1992
- Computing similarity in a reuse library systemACM Transactions on Software Engineering and Methodology, 1992
- Implementing faceted classification for software reuseCommunications of the ACM, 1991
- Semi-automatic program construction from specifications using library modulesIEEE Transactions on Software Engineering, 1991
- Proteus: a software reuse library systemACM SIGIR Forum, 1990