Efficient specification-based component retrieval

Automated Software Engineering

Volumn 6, Issue 2, 1999, Pages 139-170

  Penix, John ^a   Alexander, Perry ^b  

^a NASA AMES RESEARCH CENTER   (United States)

^b UNIVERSITY OF CINCINNATI   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; INFORMATION RETRIEVAL; QUERY LANGUAGES; THEOREM PROVING;

SPECIFICATION-BASED COMPONENT RETRIEVAL;

COMPUTER SOFTWARE REUSABILITY;

EID: 0032647344     PISSN: 09288910     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008766530096     Document Type: Article

References (50)

1. Batory, D. and Geraci, B.J. 1996. Validating component compositions in software system generators. In Murali Sitaraman, editor, Fourth International Conference on Software Reuse, pages 72-81, Orlando, Florida. IEEE Computer Society Press.
2. Biggerstaff, T.J. and Perlis, A.J., editors. 1989. Software Reusability - Concepts and Models, volume 1. ACM Press.
3. Boudriga, N., Mili, A. and Mittermeir, R. 1992. Semantic-based software retrieval to support rapid prototyping. Structured Programming, 13:109-127.
4. Broy, M. and Pepper, P. 1981. Program development as a formal activity. IEEE Transactions on Software Engineering, 7(1):14-22.
5. Doyle, J. and Patil, R.S. 1991. Two theses of knowledge representation: languages restrictions, taxonomic classification, and the utility of representation services. Artificial Intelligence, 48:261-297.
6. Fischer, B. 1998. Personal Communication.
7. Fischer, B. and Schumann, J. 1997. NORA/HAMMR: Making deduction-based software component retrieval practical. In Proc. CADE-14 Workshop on Automated Theorem Proving in Software Engineering.
8. Fisher, B. 1998. Specification-based brousing of software component libraries. In Proceedings of the 13th IEEE International Automated Software Engineering Conference, pages 74-83. IEEE Computer Society Press.
9. Frakes, W.B. and Pole, T.P. 1994. An empirical study of representation methods for reusable software components. IEEE Transactions on Software Engineering, 20(8):617-630.
10. Gerkin, M.J. 1995. Formal Foundations for the Specification of Software Architecture. PhD thesis, Air Force Institute of Technology.
11. Girardi, M.R. and Ibrahim, B. 1994. Automatic indexing of software artifacts. In Proceedings of 3rd. International Conference on Software Reuse, pages 24-32, Rio de Janeiro, Brazil.
12. Girardi, M.R. and Ibrahim, B. 1995. Using English to retrieve software. The Journal of System and Software, 30(3):249-270. Special Issue on Software Reuse.
13. Gordon, M.J.C. 1989. HOL: A proof generating system for higher-order logic. In G. Birtwistle and P. A. Subrahmanyam, editors, Current Trends in Hardware Verification and Automated Theorem Proving, pages 73-128. Springer-Verlag.
14. Gries, D. 1981. The Science of Programming. Texts and Monographs in Computer Science. Springer-Verlag, New York, NY.
15. Guttag, J.V. and Horning, J.J. Larch: Languages and Tools for Formal Specification. Springer-Verlag, New York, NY, 1993.
16. Hall, R.J. 1993. Generalized behavior-based retrieval. In Proceedings of the 15th International Conference on Software Engineering, pages 371-380, Baltimore, MD. ACM Press.
17. Hoare, C.A.R. 1969. An Axiomatic Basis for Computer Programming. Communications of the ACM, 12:576-580, 583.
18. Hoare, C.A.R. 1985. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs.
19. Jeng, J.-J. and Cheng, B.H.C. 1993. Using formal methods to construct a software library. In Proceedings of 4th European Software Engineering Conference, Lecture Notes in Computer Science, volume 717, pages 397-417.
20. Koehler, J. 1996. Planning from second principles. Artificial Intelligence, 87:145-186.
21. Kolodner, J.L. 1993. Case-Based Reasoning. Morgan Kaufmann Publishers, Inc.
22. Lamport, L. 1994. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923.
23. Lowry, M., Philpot, A., Pressburger, T. and Underwood, I. 1994. A formal approach to domain-oriented software design environments. In Proceedings of the 9th Knowledge-Based Software Engineering Conference, pages 48-57.
24. Lowry, M.B. 1998. Component-based reconfigurable systems. IEEE Computer, 31(4):44-45. Also in Key Applications for High-Assurance Systems, I. Yen and R. Paul, eds.
25. Manna, Z. and Waldinger, R. 1992. Fundamentals of deductive program synthesis. IEEE Transactions on Software Engineering, 18(8):674-704.
26. Mili, A., Mili, R. and Mittermeir, R. 1994. Storing and retrieving software components: A refinement based system. In Proc. 16th Int'l Conf. on Software Engineering, pages 91-100, Sorrento, Italy.
27. Mili, A., Mili, R. and Mittermeir, R.T. 1998. A survey of software reuse libraries. Annals of Software Engineering, 5.
28. Mili, H., Mili, F. and Mili, A. 1995. Reusing software: Issues and research directions. IEEE Transactions on Software Engineering, 21(6):528-562.
29. Mili, H., Ah-Ki, E., Godin, R. and Mcheick, H. 1997. Another nail to the coffin of faceted controlled-vocabulary component classification and retrieval. In Mandhi Harandi, editor, Proceedings of the 1997 Symposium on Software Reusability, volume 22 of ACM SIGSOFT Software Engineering Notes, pages 89-99. ACM, Boston, Massachusetts.
30. Milner, R., Tofte, and R. Harper. 1990. The Definition of Standard ML. MIT Press, Cambridge, MA.
31. Moriconi, M., Qian, X. and Riemenschneider, B. 1995. Correct architecture refinement. IEEE Transactions on Software Engineering, 21(4):356-372.
32. Oreizy, P., Medvidovic, N. and Taylor, R.N. 1998. Architecture-based runtime software evolution. In Proceedings of the International Conference on Software Engineering 1998 (ICSE'98), Kyoto, Japan.
33. Penix, J. 1998. Automated Component Retrieval and Adaptation Using Formal Specifications. PhD thesis, University of Cincinnati.
34. Penix, J. and Alexander, P. 1997. Toward automated component adaptation. In Proceedings of the Ninth International Conference on Software Engineering and Knowledge Engineering, pages 535-542. Knowledge Systems Institute.
35. Penix, J., Alexander, P. and Havelund, K. 1997. Declarative specification of software architectures. In Proceedings of the 12th International Automated Software Engineering Conference, pages 201-209. IEEE Press.
36. Perry, D.E. 1989. The Inscape environment. In Proceedings of the 11th International Conference on Software Engineering.
37. Perry, D.E. and Popovitch, S.S. 1993. Inquire: Predicate-based use and reuse. In Proceedings of the 8th Knowledge-Based Software Engineering Conference, pages 144-151,.
38. Prieto-Díaz, R. 1989. Classification of Reusable Modules, chapter 4, pages 99-123. Volume 1 of Biggerstaff and Perlis (Biggerstaff and Perlis, 1989).
39. Prieto-Diaz, R. and Freeman, P. 1987. Classifying software for reuse. IEEE Software, 4(1):6-16.
40. Rollins, E.J. and Wing, J. 1991. Specifications as search keys for software libraries. In Proceedings of the Eight International Conference on Logic Programming.
41. Rushby, J. 1996. Automated deduction and formal methods. In Rajeev Alur and Thomas A. Henzinger, editors, Computer-Aided Verification, CAV '96, number 1102 in Lecture Notes in Computer Science, pages 169-183, New Brunswick, NJ, July/August 1996. Springer-Verlag.
42. Schumann, J. and Fischer, B. 1997. NORA/HAMMR: Making deduction-based software component retrieval practical. In Proceedings of the 12th IEEE International Automated Software Engineering Conference, pages 246-254, Incline Village, NV. IEEE.
43. Shaw, M. and Garlan, D. 1996. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall.
44. Smith, D.R. 1982. Derived preconditions and their use in program synthesis. In Proceedings of the Sixth conference on Automated Deduction, volume 138 of Lecture Notes in Computer Science, pages 172-193. Springer-Verlag.
45. Smith, D.R. 1985. Top-Down Synthesis of Divide-and-Conquer Algorithms. Artificial Intelligence, 27(1):43-96.
46. Stickel, M., Waldinger, R., Lowry, M., Pressburger, T. and Underwood, I. 1994. Deductive composition of astronomical software from subroutine libraries. In Alan Bundy, editor, CADE 12, 12th International Conference on Automated Deduction, volume 814 of LNCS, pages 340-55, Nancy, France. Springer-Verlag.
47. IVan Horebeek, I. and Lewi, J. 1989. Algebraic Specifications in Software Engineering: An Introduction. Springer-Verlag, Berlin.
48. Moormann Zaremski, A. 1996. Signature and Specification Matching. PhD thesis, Carnegie Mellon University.
49. Moormann Zaremski, A. and Wing, J.M. 1995a. Signature matching, a tool for using software libraries. ACM Transactions on Software Engineering and Methodology (TOSEM).
50. Moormann Zaremski, A. and Wing, J.M. 1995b. Specification matching of software components. In 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering.