Specification-based browsing of software component libraries

Proceedings - 13th IEEE International Conference on Automated Software Engineering, ASE 1998

Volumn 1998-October, Issue , 1998, Pages 74-83

  Fischer, Bernd ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; LIBRARIES; NAVIGATION; SEMANTICS;

ATTRIBUTE-BASED; COMPONENT LIBRARIES; COMPONENT PROPERTIES; INTERACTIVE NAVIGATIONS; NAVIGATION STRUCTURES; OBJECT BASED; SOFTWARE COMPONENT LIBRARY; THEOREM PROVERS;

FORMAL CONCEPT ANALYSIS;

EID: 58149491512     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.1998.732577     Document Type: Conference Paper

References (31)

1. N. Boudriga, A. Mili, and R. Mittermeir. Semantic-based software retrieval to support rapid prototyping. Structured Programming, 13:109-127, 1992.
2. B. A. Davey and H. A. Priestley. Introduction to Lattices and Order. Cambridge University Press, Cambridge, UK, 2nd edition, 1990.
3. J. Denzinger, M. Kronenburg, and S. Schulz. DISCOUNT: A distributed and learning equational prover. J. Automated Reasoning, 18:189-198, 1997.
4. J. Denzinger and S. Schulz. Learning domain knowledge to improve theorem proving. In McRobbie and Slaney [18], pages 62-76.
5. B. Fischer, J. M. P. Schumann, and G. Snelting. Deductionbased software component retrieval. In W. Bibel and P. H. Schmitt, editors, Automated Deduction-A Basis for Applications, pages 265-292. Kluwer, Dordrecht, 1998.
6. B. Fischer and G. Snelting. Reuse by contract. In G. T. Leavens and M. Sitaraman, editors, Proc. ESEC-FSE Workshop on Foundations of Component-Based Sytems, pages 91-100, Zürich, Sept. 1997.
7. B. Ganter and R. Wille. Formale Begriffsanalyse-Mathematische Grundlagen. Springer, Berlin, 1996.
8. R. Godin, J. Gecsei, and C. Pichet. Design of a browsing interface for information retrieval. In N. J. Belkin and C. J. van Rijsbergen, editors, Proc. Twelfth Annual Intl. ACMSIGIR Conf. on Research and Development in Information Retrieval, pages 32-39, Cambridge, Massachusetts, June 1989. ACM Press.
9. J. Jeng and B. H. C. Cheng. Using formal methods to construct a software component library. In I. Sommerville and M. Paul, editors, Proc. 4th European Software Engineering Conf., volume 717 of Lect. Notes Comp. Sci., pages 397-417, Garmisch-Partenkirchen, Sept. 1993. Springer.
10. S. Katz, C. A. Richter, and K. S. The. PARIS: A system for reusing partially interpreted schemas. In Proc. 9th Intl. Conf. Software Engineering, pages 377-385, Montery, CA, Mar. 1987. IEEE Comp. Soc. Press.
11. M. Krone and G. Snelting. On the inference of configuration structures from source code. In B. Fadini, editor, Proc. 16th Intl. Conf. Software Engineering, pages 49-57, Sorrento, Italy, May 1994. IEEE Comp. Soc. Press.
12. G. T. Leavens and W. E. Weihl. Specification and verification of object-oriented programs using supertype abstraction. Acta Informatica, 32(8):705-778, Nov. 1995.
13. C. Lindig. Concept-based component retrieval. In J. Köhler, F. Giunchiglia, C. Green, and C. Walther, editors, Working Notes of the IJCAI-95 Workshop: Formal Approaches to the Reuse of Plans, Proofs, and Programs, pages 21-25, Montréal, Aug. 1995.
14. C. Lindig and G. Snelting. Assessing modular structure of legacy code based on mathematical concept analysis. In T. Maibaum and M. Zelkowitz, editors, Proc. 18th Intl. Conf. Software Engineering, pages 349-359, Berlin, Mar. 1996. IEEE Comp. Soc. Press.
15. B. Liskov and J. M. Wing. A behavioral notion of subtyping. ACM Trans. Programming Languages and Systems, 16(6):1811-1841, Nov. 1994.
16. M. Lowry and Y. Ledru, editors. Proc. 12th Intl. Conf. Automated Software Engineering, Lake Tahoe, Nov. 1997.
17. Y. S. Maarek, D. M. Berry, and G. E. Kaiser. An information retrieval approach for automatically constructing software libraries. IEEE Trans. Software Engineering, SE-17(8):800-813, 1991.
18. M. A. McRobbie and J. K. Slaney, editors. Proc. 13th Intl. Conf. Automated Deduction, volume 1104 of Lect. Notes Artifical Intelligence, New Brunswick, NJ, July-Aug. 1996. Springer.
19. A. Mili, R. Mili, and R. Mittermeir. Storing and retrieving software components: A refinement-based system. IEEE Trans. Software Engineering, SE-23(7):445-460, July 1997.
20. A. Mili, R. Mili, and R. Mittermeir. A survey of software reuse libraries. Annals of Software Engineering, 1998. To appear.
21. A. Moorman Zaremski and J. M. Wing. Specification matching of software components. In G. E. Kaiser, editor, Proc. 3rd ACM SIGSOFT Symp. Foundations of Software Engineering, pages 6-17,Washington, DC, Oct. 1995. ACM Press.
22. J. Penix, P. Baraona, and P. Alexander. Classification and retrieval of reusable components using semantic features. In Proc. 10th Knowledge-Based Software Engineering Conf., pages 131-138, Boston, MA, Nov. 1995. IEEE Comp. Soc. Press.
23. D. E. Perry. The Inscape environment. In Proc. 11th Intl. Conf. Software Engineering, pages 2-12. IEEE Comp. Soc. Press, May 1987.
24. R. Prieto-Díaz. Implementing faceted classification for software reuse. Communications of the ACM, 34(5):89-97, May 1991.
25. E. J. Rollins and J. M. Wing. Specifications as search keys for software libraries. In K. Furukawa, editor, Proc. 8th Intl. Conf. Symp. Logic Programming, pages 173-187, Paris, June 24-28 1991. MIT Press.
26. H. A. Sahraoui, W. Melo, H. Lounis, and F. Dumont. Applying concept formation methods to object identificaton in procedural code. In Lowry and Ledru [16], pages 210-218.
27. J. M. P. Schumann and B. Fischer. NORA/HAMMR: Making deduction-based software component retrieval practical. In Lowry and Ledru [16], pages 246-254.
28. M. Siff and T. Reps. Identifying modules via concept analysis. In M. J. Harrold and G. Visaggio, editors, Proc. IEEE Intl. Conf. on Software Maintenance, pages 170-179, Bari, Italy, 1997. IEEE Comp. Soc. Press.
29. M. Stickel, R. Waldinger, M. Lowry, T. Pressburger, and I. Underwood. Deductive composition of astronomical software from subroutine libraries. In A. Bundy, editor, Proc. 12th Intl. Conf. Automated Deduction, volume 814 of Lect. Notes Artifical Intelligence, pages 341-355, Nancy, June-July 1994. Springer.
30. C. Weidenbach, B. Gaede, and G. Rock. Spass and Flotter version 0.42. In McRobbie and Slaney [18], pages 141-145.
31. R. Wille. Restructuring lattice theory: An approach based on hierarchies of concepts. In I. Rival, editor, Ordered Sets, pages 445-470. Reidel, 1982.