Software component search

Journal of Systems Integration

Volumn 6, Issue 1-2, 1996, Pages 93-134

  Goouen, Joseph ^a,b   Nguyen, Doan ^c   Meseguer, José ^d   Luqi, ^e   Zhang, Du ^f   Berzins, Valdis ^e  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF OXFORD   (United Kingdom)

^c Air Force Materiel Command   (United States)

^d SRI INTERNATIONAL   (United States)

^e NAVAL POSTGRADUATE SCHOOL   (United States)

^f CALIFORNIA STATE UNIVERSITY   (United States)

Author keywords

Component search; Computer aided prototyping; Retrieval; Reuse; Software library

Indexed keywords

EID: 0002826875     PISSN: 09254676     EISSN: None     Source Type: Journal    
DOI: 10.1007/bf02262753     Document Type: Article

References (43)

1. R. Diaconescu, "Category-Based Operational Semantics of Equational Logic Programming," PhD thesis. Programming Research Group, Oxford University, 1994.
2. S. J. Dolgoff, "Automated interface for retrieving reusable software components," Master's thesis, Naval Postgraduate School, Monterey, California, 1992.
3. G. Fischer, S. Henninger, and D. Redmiles, "Cognitive tools for locating and comprehending software objects for resue," in Proceedings, 13th International Conference on Software Engineering, May 1991.
4. W. B. Frakes and T. P. Pole, "An empirical study of representation methods for reusable software components." IEEE Transactions on Software Engineering 20(8). pp. 617-630, August 1994.
5. W. B. Frakes and I. Sadahiro, "Success factors for systematic reuse." IEEE Software, pp. 15-19, September 1994.
6. K. Futatsugi, J. Goguen, J.-P. Jouannaud, and J. Meseguer, "Principles of OBJ2," in B. Reid, editor, Proceedings, Twelfth ACM Symposium on Principles of Programming Languages. Association for Computing Machinery, 1985, pp. 52-66.
7. J. Goguen, "Suggestions for using and organizing libraries in software development," in S. Kartashev and S. Kartashev, editors, Proceedings, First International Conference art Supercomputing Systems, IEEE Computer Society, 1985, pp. 349-360. Also in Supercomputing Systems, S. and S. Kartashev, Eds., Elsevier, 1986.
8. J. Goguen, "Suggestions for using and organizing libraries in software development," in S. Kartashev and S. Kartashev, editors, Proceedings, First International Conference art Supercomputing Systems, IEEE Computer Society, 1985, pp. 349-360. Also in Supercomputing Systems, S. and S. Kartashev, Eds., Elsevier, 1986.
9. J. Goguen and R. Diaconescu, "A short Oxford survey of order sorted algebra." Bulletin of the European Associationfor Theoretical Computer Science, 48, pp. 121-133, October 1992. Guest column in the "Algebraic Specification Column". Also in Current Trends in Theoretical Computer Science: Essays and Tutorials. World Scientific, 1993, pp. 209-221.
10. J. Goguen and R. Diaconescu, "A short Oxford survey of order sorted algebra." Bulletin of the European Associationfor Theoretical Computer Science, 48, pp. 121-133, October 1992. Guest column in the "Algebraic Specification Column". Also in Current Trends in Theoretical Computer Science: Essays and Tutorials. World Scientific, 1993, pp. 209-221.
11. J. Goguen and R. Diaconescu, "Towards an algebraic semantics for the object paradigm," Jn Hartmut Ehrig and Fernando Orejas, editors, Proceedings, Tenth Workshop on Abstract Data Types, Springer, 1994, pp.l-29. Lecture Notes in Computer Science, Vol. 785.
12. J. Goguen and R. Diaconescu, "Towards an algebraic semantics for the object paradigm," Jn Hartmut Ehrig and Fernando Orejas, editors, Proceedings, Tenth Workshop on Abstract Data Types, Springer, 1994, pp.l-29. Lecture Notes in Computer Science, Vol. 785.
13. J. Goguen, C. Kirchner, H. Kirchner, A. Mégrelis, and J. Meseguer, "An introduction to OBJ3," in J.-P. Jouannaud and S. Kaplan, editors, Proceedings, Conference on Conditional Term Rewriting. Springer, 1988, pp. 258-263. Lecture Notes in Computer Science, Vol. 308.
14. J. Goguen, C. Kirchner, H. Kirchner, A. Mégrelis, and J. Meseguer, "An introduction to OBJ3," in J.-P. Jouannaud and S. Kaplan, editors, Proceedings, Conference on Conditional Term Rewriting. Springer, 1988, pp. 258-263. Lecture Notes in Computer Science, Vol. 308.
15. J. Goguen and G. Malcolm, "Proof of correctness of object representation," in A. W. Roscoe, ed., A Classical Mind; Essays in Honour of C.A.R. Hoare. Prentice-Hall, 1994, pp. 119-142.
16. J. Goguen and J. Meseguer, "Universal realization, persistent interconnection and implementation of abstract modules," in M. Nielsen and E. M. Schmidt, eds., Proceedings, 9th International Conference on Automata, Languages and Programming. Springer, 1982, pp. 265-281. Lecture Notes in Computer Science, Vol. 140.
17. J. Goguen and J. Meseguer, "Universal realization, persistent interconnection and implementation of abstract modules," in M. Nielsen and E. M. Schmidt, eds., Proceedings, 9th International Conference on Automata, Languages and Programming. Springer, 1982, pp. 265-281. Lecture Notes in Computer Science, Vol. 140.
18. J. Goguen and J. Meseguer, "Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations." Theoretical Computer Science 105(2), pp. 217-273, 1992. Also Programming Research Group Technical Monograph PRC-80. Oxford University, December 1989, and Technical Report SRI-CSL-89-10, SRI International, Computer Science Lab, July 1989; originally given as lecture at Seminar on Types, Camegie-Mellon University, June 1983; many draft versions exist, from as early as 1985.
19. J. Goguen and J. Meseguer, "Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations." Theoretical Computer Science 105(2), pp. 217-273, 1992. Also Programming Research Group Technical Monograph PRC-80. Oxford University, December 1989, and Technical Report SRI-CSL-89-10, SRI International, Computer Science Lab, July 1989; originally given as lecture at Seminar on Types, Camegie-Mellon University, June 1983; many draft versions exist, from as early as 1985.
20. J. Goguen and J. Meseguer, "Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations." Theoretical Computer Science 105(2), pp. 217-273, 1992. Also Programming Research Group Technical Monograph PRC-80. Oxford University, December 1989, and Technical Report SRI-CSL-89-10, SRI International, Computer Science Lab, July 1989; originally given as lecture at Seminar on Types, Camegie-Mellon University, June 1983; many draft versions exist, from as early as 1985.
21. J. Goguen and J. Meseguer, "Software component search," Technical report, SRI International, Computer Science Lab, September 1994.
22. J. Goguen, J. Thatcher, and E. Wagner, "An initial algebra approach to the specification, correctness and implementation of abstract data types," Technical Report RC 6487, IBM T. J. Watson Research Center, October 1976. In Current Trends in Programming Methodology, IV. Raymond Yeh, ed., Prentice-Hall, 1978, pp. 80-149.
23. J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud, "Introducing OBJ," in Joseph Goguen and Grant Malcolm, editors, Algebraic Specification with OBJ: An Introduction with Case Studies. Cambridge, to appear. Also Technical Report, SRI International.
24. P Hall and C. Boldyreff, 1991. Software Engineer's Reference Book. Butterworth-Heinemann, 1991.
25. S. Henninger, "Using iterative refinement to find reusable software." IEEE Software, pp. 48-59, September 1994.
26. Luqi, "Normalized specifications for identifying reusable software," in Proceedings of the 1987 Fall Joint Computer Conference, IEEE, October 1987, pp. 46-49.
27. Luqi, V. Berzins, and R. Yeh, "A prototyping language for real-time software." IEEE Transactions on Software Engineering 14(10), pp. 1409-1423, 1988.
28. Luqi and Y. Lee, "Towards automated retrieval of reusable software components," in Proceedings, AAAI Workshop on Artificial Intelligence and Automated Program Understanding, July 1992.
29. Luqi and M. Ketabchi, "A computer-aided prototyping system." IEEE Software, pp. 66-72, March 1988.
30. Y. Matsumoto, "A software factory: An overall approach to software production," in P. Freeman, ed., Tutorial on Software Reusability, pp. 155-178, 1987.
31. J. Meseguer and J. Goguen, "Initiality, induction and computability," in M. Nivat and J. Reynolds, eds., Algebraic Methods in Semantics. Cambridge, 1985, pp. 459-541.
32. A. Mili, R. Mili, and R. Mittenneir. "Storing and retrieving software components," in Proceedings, 16th International Conference on Software Engineering, 1984, pp. 15-19.
33. D. Nguyen, "Multi-Level Filtering for Software Component Retrieval," PhD. thesis, Naval Postgraduate School, 1995.
34. E. Ostertag, J. Hendler, R. Prieto-Diaz, and C. Braun, "Computing similarity in a reuse library system." ACM Transaction on Software Engineering and Methodolgy, pp. 205-228, July 1992.
35. D. Ozdemir, "The design and impiementation of a reusable component library and a retrieval/integration system," Master's thesis, Naval Postgraduate School, Monterey, California, 1992.
36. A. Podgurski and L. Pierce, "Retrieving reusable software by sampling behavior." ACM Transactions on Software Engineering and Methodology 2(3), pp. 286-303, 1993.
37. R. Prieto-Diaz, "Implementing faceted classification for sofware reuse." Communication of the ACM, pp. 89-97, May 1991.
38. E. J. Rollins and J. M. Wing, "Specifications as search keys for software libraries," in Proceedings of the Eighth International Conference on Logic Programming, 1991.
39. R. Steigerwald, Luqi, and J. McDowell, "CASE tool for reusable software component storage and retrieval in rapid prototyping." Information and Software Technology, pp. 698-705, 1991.
40. R. A. Steigerwald, "Reusable Software Component Retrieval via Normalized Algebraic Specifications," PhD thesis, Naval Postgraduate School, 1991.
41. A. M. Zaremski and J. M. Wing, "Signature matching, a tool for using software libraries," in Proceedings, ACM Symposium on Foundations of Software Engineering, 1993. To appear, Transactions on Software Engineering and Methodology.
42. A. M. Zaremski and J. M. Wing, "Signature matching, a tool for using software libraries," in Proceedings, ACM Symposium on Foundations of Software Engineering, 1993. To appear, Transactions on Software Engineering and Methodology.
43. A. M. Zaremski and J. M. Wing, "Specification matching of software components," Technical Report CMU-CS-95-127, School of Computer Science, Carnegie-Mellon University, 1995.