Specification Matching of Software Components

ACM Transactions on Software Engineering and Methodology

Volumn 6, Issue 4, 1997, Pages 333-369

  Zaremski, Amy Moormann ^a   Wing, Jeannette M ^b  

^a XEROX CORPORATION   (United States)

^b Carnegie Mellon University   (United States)

Author keywords

D.2.1 Software Engineering : Requirements Specifications; D.2.2 Software Engineering : Tools and Techniques software libraries; D.3.3 Programming Languages : Language Constructs and Features modules, packages

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; FORMAL LOGIC; SUBROUTINES; THEOREM PROVING;

LARCH PROVER; SOFTWARE COMPONENTS; SPECIFICATION MATCHING;

SOFTWARE ENGINEERING;

EID: 0031259286     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/261640.261641     Document Type: Article

References (46)

1. ALLEN, R. AND GARLAN, D. 1994. Formalizing architectural connection. In Proceedings of the 16th International Conference on Software Engineering (Sorrento, Italy, May). 71-80.
2. AMERICA, P. 1991. Designing an object-oriented programming language with behavioural subtyping. In Foundations of Object-Oriented Languages, REX School/Workshop (June 1990), J. W. de Bakker, W. P. de Roever, and G. Rozenberg, Eds. Lecture Notes in Computer Science, vol. 489. Springer-Verlag, New York, 60-90.
3. ARNOLD, S. P. AND STEPOWAY, S. L. 1987. The REUSE system: Cataloging and retrieval of reusable software. In COMPCON Spring 87, 32nd IEEE Computer Society International Conference (Feb.). IEEE Computer Society, Washington, D.C., 376-379.
4. CARDELLI, L. 1989. Typeful programming. Rep. 45, DEC Systems Research Center, Palo Alto, Calif. May.
5. CHEN, P. S., HENNICKER, R., AND JARKE, M. 1993. On the retrieval of reusable software components. In Proceedings of the 2nd International Workshop on Software Reusability (Mar.). IEEE Computer Society Press, Los Alamitos, Calif., 99-108.
6. CONSENS, M. MENDELZON, A., AND RYMAN, A. 1992. Visualizing and querying software structures. In Proceedings of the 14th International Conference on Software Engineering (May). 138-156.
7. DHARA, K. K. AND LEAVENS, G. T. 1992. Subtyping for mutable types in object-oriented programming languages. Tech. Rep. 92-36, Dept. of Computer Science, Iowa State Univ. of Science and Technology, Ames, Iowa, Nov.
8. DHARA, K. K. AND LEAVENS, G. T. 1996. Forcing behavioral subtyping through specification inheritance. In Proceedings of the 18th International Conference on Software Engineering (Mar.).
9. DI COSMO R. 1992. Type isomorphisms in a type-assignment framework. In Proceedings of the 19th Annual POPL (Jan.). ACM, New York, 200-210.
10. FISCHER, B., KIEVERNAGEL, M., AND STRUCKMANN, W. 1994. VCR: A VDM-based software component retrieval tool. Tech. Rep. 94-08, Technical Univ. of Braunschweig, Braunschweig, Germany, Nov.
11. FISCHER, G., HENNINGER, S., AND REDMILES, D. 1991. Cognitive tools for locating and comprehending software objects for reuse. In Proceedings of the 13th International Conference on Software Engineering (May). 318-328.
12. FRAKES, W. B. AND NEJMEH, B. A. 1987. Software reuse through information retrieval. In The 20th Annual HICSS. Vol. 2, Software, B. D. Shriver, Ed. Western Periodicals Company, 530-535.
13. GARLAN, D., ALLEN, R., AND OCKERBLOOM, J. 1995. Architectural mismatch: Why reuse is so hard. IEEE Softw. 12, 6 (Nov.), 17-26.
14. GARLAND, S. J. AND GUTTAG, J. V. 1991. A guide to LP, the Larch Prover. Rep. 82, DEC Systems Research Center, Palo Alto, Calif., Dec.
15. GUTTAG, J. V. AND HORNING, J. J., Eds. 1993. Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer-Verlag, New York. (With contributions by S. J. Garland, K. D. Jones, A. Modet, and J. M. Wing.)
16. GOGUEN, J., NGUYEN, D., MESEGUER, J., DU ZHANG, L., AND BERZINS, V. 1996. Software component search. J. Syst. Integration 6, 93-134.
17. JENG, J.-J. AND CHENG, B. H. C. 1992. Formal methods applied to reuse. In Proceedings of the 5th Workshop in Software Reuse.
18. KATOH, H., YOSHIDA, H., AND SUGIMOTO, M. 1986. Logic-based retrieval and reuse of software modules. In the 5th Annual International Phoenix Conference on Computers and Communications (Mar.). 445-449.
19. KATZ, S., RICHTER, C. A., AND THE, K.-S. 1987. PARIS: A system for reusing partially interpreted schemas. In Proceedings of the 9th International Conference on Software Engineering. (Mar.). 377-385.
20. KONSTANTAS, D. 1993. Object-oriented interoperability. In ECOOP 93-7th European Conference on Object-Oriented Programming, O. M. Nierstrasz, Ed. Lecture Notes in Computer Science, vol. 707. Springer-Verlag, New York, 80-102.
21. LEAVENS, G. 1989. Verifying object-oriented programs that use subtypes. Ph.D. thesis and Tech Rep 439 Laboratory for Computer Science, MIT, Cambridge, Mass., Feb.
22. LEAVENS, G. T. AND WEIHL, W. E. 1990. Reasoning about object-oriented programs that use subtypes. In ECOOP/OOPSLA 90 Proceedings. ACM, New York.
23. LISKOV, B. H. AND WING, J. M. 1994. A behavioral notion of subtyping. ACM Trans. Program. Lang. Syst. 16, 4 (Nov.), 1811-1841.
24. MAAREK, Y. S., BERRY, D. M., AND KAISER, G. E. 1991. An information retrieval approach for automatically constructing software libraries. IEEE Trans. Softw. Eng. 8, 17 (Aug.) 800-813.
25. MAULDIN, M. AND LEAVITT, J. 1994. Web-agent related research at the CMT. In ACM Special Interest Group on Networked Information Discovery and Retrieval (SIGNIDR-94) (Aug.). ACM, New York.
26. MEYER, B. 1988. Object-Oriented Software Construction. Prentice-Hall, New York.
27. MILI, A., MILI, R., AND MITTERMEIR, R. 1994. Storing and retrieving software components: A refinement-based approach. In Proceedings of the 16th International Conference on Software Engineering (May). 91-100.
28. OLSEN, K. A., KORFHAGE, R. R., SOCHATS, K. M., SPRING, M. B., AND WILLIAMS, J. G. 1993. Visualization of a document collection: The VIBE system. Inf. Process. Manage. 29, 1, 69-81.
29. OSTERTAG, E., HENDLER, J., PRIETO-DIAZ, R., AND BRAUN, C. 1992. Computing similarity in a reuse library system: An AI-based approach. ACM Trans. Softw. Eng. Methodol. 1, 3 (July), 205-228.
30. PAUL, S. AND PRAKASH, A. 1994. A framework for source code search using program patterns. IEEE Trans. Softw. Eng. 6, 20 (June), 463-475.
31. PENIX, J. AND ALEXANDER, P. 1995. Design representation for automating software component reuse. In Proceedings of the 1st International Workshop on Knowledge-Based Systems for the (Re)use of Program Libraries (June).
32. PERRY, D. E. 1989. The Inscape environment. In Proceedings of the 11th International Conference on Software Engineering. 2-12.
33. PERRY, D. E. AND POPOVICH, S. S. 1993. Inquire: Predicate-based use and reuse. In Proceedings of the 8th Knowledge-Based Software Engineering Conference (Sept.). 144-151.
34. PRIETO-DÍAZ, R. 1989. Classification of reusable modules. In Software Reusability. Vol. 1, Concepts and Models, T. J. Biggerstaff and A. J. Perlis, Eds. ACM Press, New York, 99-123.
35. RITTRI, M. 1990. Retrieving library identifiers via equational matching of types. Tech. Rep. 65, Programming Methodology Group, Dept. of Computer Sciences, Chalmers Univ. of Technology and Univ. of Göteborg, Göteborg, Sweden, Jan. (Reprinted with corrections May 1992.)
36. ROLLINS, E. J. AND WING, J. M. 1991. Specifications as search keys for software libraries. In Proceedings of the 8th International Conference on Logic Programming (June).
37. RUNCIMAN, C. AND TOYN, I. 1989. Retrieving re-usable software components by polymorphic type. In Conference on Functional Programming Languages and Computer Architectures (Sept.). 166-173.
38. SALTON, G. AND MCGILL, M. J. 1983. Introduction to Modern Information Retrieval. McGraw-Hill, New York.
39. STRINGER-CALVERT, D. W. J. 1994. Signature matching for Ada software reuse. Master's thesis, Univ. of York, York, England, U.K.
40. THATTE, S. R. 1994. Automated synthesis of interface adapters for reusable classes. In Proceedings of the 21st Annual Symposium on Principles of Programming Languages (Jan.). ACM, New York, 174-187.
41. VERNON, M., LAZOWSKA, E., AND PERSONICK, S., Eds. 1994. R&D for the NII: Technical Challenges. Interuniversity Communications Council (EDUCOM).
42. WILEDEN, J. C., WOLF, A. L., ROSENBLATT, W. R., AND TARR, P. L. 1991. Specification-level interoperability. Commun. ACM 34, 5 (May), 72-87.
43. WING, J. M., ROLLINS, E., AND ZAREMSKI, A. M. 1993. Thoughts on a Larch/ML and a new application for LP. In the 1st International Workshop on Larch, U. Martin and J. M. Wing, Eds. Springer-Verlag, New York.
44. YELLIN, D. M. AND STROM, R. E. 1994. Interfaces, protocols, and the semi-automatic construction of software adaptors. In OOPSLA Conference Proceedings. SIGPLAN Not. 29, 10 (Oct.), 176-190.
45. ZAREMSKI, A. M. 1996. Signature and specification matching. Ph.D. thesis and Tech. Rep. CMU-CS-96-103, School of Computer Science, Carnegie Mellon Univ., Pittsburgh, Pa., Jan.
46. ZAREMSKI, A. M. AND WING, J. M. 1995. Signature matching: A tool for using software libraries. ACM Trans. Softw. Eng. Methodol. 4, 2 (Apr.), 146-170.