Storing and retrieving software components: a refinement based system

IEEE Transactions on Software Engineering

Volumn 23, Issue 7, 1997, Pages 445-460

  Mili, Rym ^a   Mili, Ali ^a   Mittermeir, Roland T ^a  

^a UNIVERSITY OF TEXAS AT DALLAS   (United States)

Author keywords

Formal specifications; Refinement ordering; Software components storage and retrieval; Software libraries; Software reuse

Indexed keywords

EID: 0000264225     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.605762     Document Type: Article

References (67)

1. W.W. Agresti and F.E. McGarry, "The Minnowbrook Workshop on Software Reuse: A Summary Report," Tutorial, Software Reuse: Emerging Technology, W. Tracz, ed., Los Alamitos, Calif., IEEE CS Press, 1987.
2. S.P. Arnold and S.L. Stepoway, "The Reuse System: Cataloguing and Retrieval of Reusable Software," Proc. COMPCON'87, pp. 376-379. IEEE CS Press, 1987.
3. R.D. Banker, R.J. Kauffman, and D. Zweig, "Repository Evaluation of Software Reuse," IEEE Trans. Software Eng., vol. 19, no. 4, pp. 379-389, Apr. 1993.
4. T.J. Biggerstaff and A.J. Perlis, Software Reusability, Vol. 1: Concepts and Models. New York: ACM Press, 1989.
5. N. Boudriga, A. Mili, and R. Zalila, "An Automated Tool for Specification Validation: Design and Preliminary Implementation," Proc. Hawaii Int'l Conf. System Sciences, pp. 74-82, 1992.
6. N. Boudriga, F. Elloumi, and A. Mili, "The Lattice of Specifications: Applications to a Specification Methodology," Formal Aspects of Computing, vol. 4, pp. 544-571, 1992.
7. N. Boudriga, A. Mili, and R.T. Mittermeir, "Semantic-Based Software Retrieval to Support Rapid Prototyping," Structured Programming, vol. 13, pp. 109-127, 1992.
8. P. Cashin, "BNR Remains at the Forefront of Computing Technology," Telesis, vol. 92, pp. 73-75, 1991.
9. P.S. Chen, R. Hennicker, and M. Jarke, "On the Retrieval of Reusable Software Components," Proc. Second Int'l Workshop Software Reusability, pp. 99-108, Lucca, Italy, Mar. 1993.
10. C.J. Date, Introduction to Database Systems, Fourth Edition. Reading, Mass: Addison-Wesley, 1986.
11. P. Devanbu, R. Brachman, P. Selfridge, and B. Ballard, LaSSIE: A Knowledge-Based Software Information System. Comm. ACM, vol. 34, no. 5, pp. 34-49, May 1991.
12. R. Di Cosmo, "Type Isomorphisms in a Type-Assignment Framework," Proc. 19th Ann. Symp. Principles of Programming Languages. New York: ACM Press, 1992.
13. B. Fischer, M. Kievernagel, and G. Snelting, "Deduction-Based Software Component Retrieval," IJCAI Workshop Reuse of Proofs, Plans and Programs, Montreal, Quebec, Canada, June 1995.
14. W.B. Frakes and B.A. Nejmeh, "An Information System for Software Reuse," Proc. 10th Minnowbrook Workshop Software Reuse, 1987.
15. W.B. Frakes and T.P. Pole, "Proteus: A Reuse Library System that Supports Multiple Representation Methods," ACM SIGIR Forum, vol. 24, pp. 43-55, 1990.
16. W.B. Frakes and T.P. Pole, "An Empirical Study of Representation Methods for Reusable Software Components," IEEE Trans. Software Eng. vol. 20, no. 8, pp. 617-630, Aug. 1994.
17. S.D. Fraser, "Reuse by Design - A Team Approach," Proc. Fifth Workshop Software Reuse, 1992.
18. M. Fontana and M. Neath, "Checked Out and Long Overdue: Experiences in the Design of a C++ Class Library," Proc. USENIX C++ Conf., pp. 179-191. USENIX Assoc., Berkeley, Calif., 1991.
19. M.G. Fugini and S. Faustle, "Retrieval of Reusable Components in a Development Information System," Proc. Second Int'l Workshop Software Reusability, pp. 89-98, Lucca, Italy, Mar. 1993.
20. M.C. Gaudel and Th. Moineau, "A Theory of Software Reusability," Lecture Notes in Computer Science, Vol. 300, pp. 115-130. Springer-Verlag, 1991.
21. M.L. Griss, "A Multi-Disciplinary Software Reuse Research Program," Proc. Fifth Workshop Software Reuse, 1992.
22. J. Guttag, J.J. Horning, and J.M. Wing, "The Larch Family of Specification Languages," IEEE Software, vol. 2, no. 5, pp. 24-36, 1985.
23. R.J. Hall, "Generalized Behaviour-Based Retrieval," Proc. 16th Int'l Conf. Software Eng., Sorrento, Italy, New York: ACM Press, May 1994.
24. R.C. Holt, T. Stanhope, and G. Lausman, Object Oriented Computing: Looking Ahead to the Year 2000. Univ. of Toronto, Ontario, Canada, 1991.
25. J.J. Jeng and B.H.C. Cheng, "Formal Methods Applied to Reuse," Proc. Fifth Workshop Software Reuse, Palo Alto, Calif., 1992.
26. J.J. Jeng and B.H.C. Cheng, "A Formal Approach to Reusing More General Components," Proc. IEEE Ninth Knowledge-Based Software Eng. Conf., pp. 90-97. Monterey, Calif., Sept. 1994.
27. J.J. Jeng and B.C.H. Cheng, "Specification Matching for Software Reuse: A Foundation," Proc. ACM Symp. Software Reuse, pp. 97-105, Seattle, Wash., Apr. 1995.
28. S. Katz, C.A. Richter, and T-S. The, "Paris: A System for Reusing Partially Interpreted Schemas," Proc. Ninth Int'l Conf. Software Eng., pp. 377-385, Monterey, Calif., Apr. 1987.
29. Ch.W. Krueger, "Software Reuse. ACM Computing Surveys, vol. 24, no. 2, pp. 131-183, June 1992.
30. L. Labed Jilani, R. Mili, and A. Mili, "Approximate Retrieval: An Academic Exercise or a Practical Concern?" Proc. Eighth Ann. Workshop Software Reuse, Mar. 1997.
31. C. Lillie, "Now is the Time for a National Software Repository," AIAA Computing Aerospace, Baltimore, Md., 1991.
32. Y.S. Maarek and D.M. Berry, "The Use of Lexical Affinities in Requirements Extraction," Proc. Fifth Int'l Workshop Software Specification and Design," Pittsburgh, Pa., May 1989.
33. Y.S. Maarek, D.M. Berry, and G.E. Kaiser, "An Information Retrieval Approach for Automatically Constructing Software Libraries," IEEE Trans. Software Eng., vol. 17, no. 8, pp. 800-813, Aug. 1991.
34. Y. Matsumoto, "A Software Factory: An Overall Approach to Software Production," P. Freeman, ed., Tutorial: Software Reusability. IEEE CS Press, 1987.
35. R. Mili, R. Mittermeir, and A. Mili, "Storing and Retrieving Software Component: A Refinement Based Approach," Proc. Int'l Conf. Software Eng., 1994.
36. A. Mili, R. Mili, and R. Mittermeir, "A Survey of Software Components Storage and Retrieval," Univ. of Ottawa, Ontario, Canada, May 1997.
37. R.T. Mittermeir and E. Kofler, "Layered Specifications to Support Reusability and Integrability, J. Systems Integration, vol. 3, no. 3, pp. 273-302, Sept. 1993.
38. Th. Moineau and M.C. Gaudel, "Software Reusability Through Formal Specifications," Proc. First Int'l Workshop Software Reusability, number memo Nr 57, Dortmund, 1991.
39. F. Nishida, S. Takamatsu, Y. Fujita, and T. Tani, "Semi-Automatic Program Construction from Specifications Using Library Modules," IEEE Trans. Software Eng., vol. 17, no. 9, pp. 853-870, Sept. 1991.
40. E. Ostertag, J. Hendler, R. Prieto-Diaz, and C. Braun, "Computing Similarity in a Reuse Library System: An ai-Based Approach," acm TOSEM, vol. 1, no. 3, pp. 205-228, July 1992.
41. J. Penix and P. Alexander, "Design Representation for Automating Software Component Reuse," Proc. Fifth Int'l Workshop Knowledge Based Systems for the (Re)Use of Software Libraries, Nov. 1995.
42. J. Penix and P. Alexander, "Efficient Specification Based Component Retrieval," technical report, Univ. of Cincinnati, Knowledge Based Software Eng. Laboratory, ECECS, July 1996.
43. D.E. Perry, "The Inscape Environment," Proc. 11th Int'l Conf. Software Eng., pp. 2-12. IEEE CS Press, 1989.
44. D.E. Perry and S.S. Popovich, "Inquire: Predicate-Based Use and Reuse," Proc. Knowledge Based Software Eng. Conf., Chicago, Sept. 1993.
45. A. Podgurski and L. Pierce, "Behaviour Sampling: A Technique for Automated Retrieval of Reusable Components," Proc. 14th Int'l Conf. Software Eng., pp. 300-304. New York: ACM Press, 1992.
46. A. Podgurski and L. Pierce, "Retrieving Reusable Software by Sampling Behavior," ACM TOSEM, vol. 2, no. 3, pp. 286-303, July 1993.
47. R. Prieto-Diaz, "A Software Classification Scheme," PhD dissertation, Univ. of California, Irvine, 1985.
48. R. Prieto-Diaz and P. Freeman, "Classifying Software for Reusability," IEEE Software, vol. 4, no. 1, pp. 6-16, 1987.
49. R. Prieto-Diaz, "Classification of Reusable Modules," Software Reusability, Vol. 1: Concepts and Models," T.J. Bigerstaff and A.J. Perlis, eds. New York: ACM Press, 1989.
50. R. Prieto-Diaz, "Implementing Faceted Classification for Software Reuse," Comm. ACM, vol. 34, pp. 88-97, 1991.
51. R. Prieto-Diaz, "Status Report: Software Reusability," IEEE Software, vol. 10, no. 3, pp. 61-66, May 1993.
52. IEEE Trans. Software Eng., C.V. Ramamoorthy, ed., vol. 10, no. 5, Sept. 1984.
53. M. Rittri, "Using Types as Search Keys in Function Libraries," Proc. Conf. Functional Programming Languages and Computer Architectures, Reading, Mass.: Addison-Wesley, 1989.
54. M. Rittri, "Retrieving Library Identifiers via Equational Matching of Types," Technical Report 65, Programming Methodology Group, Dept. of Computer Science, Chalmers Univ. of Technology and Univ. of Göteborg.
55. E.J. Rollins and J. Wing, "Specifications as Search Keys for Software Libraries," Proc. Conf. Functional Programming Languages and Architectures, pp. 173-183, Sept. 1989.
56. W. Rossak and R.T. Mittermeir, "A dbms Based Repository for Reusable Software Components," Proc. Second Int'l Workshop Software Eng. and Its Applications, pp. 501-518, Toulouse, France, 1989.
57. C. Runciman and I. Toyn, "Retrieving Reusable Software Components by Polymorphic Type," Proc. Conf. Functional Programming Languages and Computer Architectures. Reading, Mass.: Addison-Wesley, 1989.
58. M. Sitaraman, "Performance Parameterized Reusable Software Components," Int'l J. Software Eng. and Knowledge Eng., vol. 2, no. 4, pp. 567-587, 1992.
59. M. Sitaraman et al., "Components Based Software Using Resolve," W. Tracz, ed., SIGSOFT Software Eng. Notes. ACM, 1994.
60. R.A. Steigerwald, "Reusable Component Retrieval with Formal Specifications," Proc. Fifth Ann. Workshop Software Reuse, Oct. 1992.
61. D.W.J. Stringer-Calvert, "Signature Matching for Ada Software Reuse," masters thesis, Univ. of York, York, UK.
62. W. Tracz, "Software Reuse Myths," Software Reuse: Emerging Technology," W. Tracz, ed., Washington, D.C.: IEEE CS Press, 1988.
63. B.W. Weide, W.F. Ogden, and S.H. Zweben, "Reusable Software Components," M.C. Yovits, ed., Advances in Computers, pp. 1-65. Academic Press, 1991.
64. L. Wos, R. Overbeek, E. Lusk, and J. Boyle, Automated Reasoning: Introduction and Applications. New York: McGraw-Hill, 1992.
65. A. Moorman Zaremski and J. M. Wing, "Signature Matching: A Key to Reuse," Proc. SIGSOFT'93: ACM SIGSOFT Symp. Foundations of Software Eng., Redondo Beach, Calif., Dec. 1993.
66. A. Moorman Zaremski and J.M. Wing, "Signature Matching: A Tool for Using Software Libraries," ACM Trans. Software Eng. and Methodology, vol. 4, no. 2, pp. 146-170, Apr. 1995.
67. A. Moorman Zaremski and J.M. Wing, "Specification Matching of Software Components," Proc. SIGSOFT'95: Third ACM SIGSOFT Symp. The Foundations of Software Eng., New York: ACM Press.