On the retrieval of reusable software components

Proceedings - Advances in Software Reuse, ASR 1993 - Selected Papers from the 2nd International Workshop on Software Reusability

Volumn , Issue , 1993, Pages 99-108

  Chen, Patrick Shicheng ^a   Hennicker, Rolf ^b   Jarke, Matthias ^c  

^a UNIVERSITY OF PASSAU   (Germany)

^b UNIVERSITY OF MUNICH   (Germany)

^c RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS; FORMAL SPECIFICATION; KNOWLEDGE REPRESENTATION; MANAGEMENT INFORMATION SYSTEMS; REUSABILITY; SPECIFICATION LANGUAGES;

COMPONENT SPECIFICATION; GOAL SPECIFICATIONS; KNOWLEDGE REPRESENTATION LANGUAGE; RETRIEVAL MECHANISMS; REUSABLE COMPONENTS; REUSABLE SOFTWARE COMPONENTS; SIGNATURE-MATCHING; SOFTWARE COMPONENT;

COMPUTER SOFTWARE REUSABILITY;

EID: 85049783445     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASR.1993.291713     Document Type: Conference Paper

References (15)

1. Allen, B. P. & Lee, S. D.: A Knowledge-Based Environment for the Development of Software Parts Composition Systems. In: Proceedings of the 11th ICSE, Pittsburgh, pp. 104-112, 1989.
2. Bauer, B. & Hennicker, R.: ISAR: An Interactive System for Algebraic Implementation Proofs. In: A. Voronkov (ed.): Proc. of the International Conference LPAR '92, St. Petersburg, Springer Lecture Notes in Artificial Intelligence 624, pp. 451-453, 1992.
3. Bidoit, M.: Pluss, a language for the development of modular algebraic specifications. These dEtat, Univ. Paris-Sud, Orsay, 1989.
4. Cramer, J. & Fey, W. & Goedicke, M. & Große-Rhode, M.: Towards a Formally Based Component Description Language - A Foundation for Reuse. Structured Programming, Vol. 2, No. 12, Springer Verlag, 1991.
5. Ehrig, H. & Mahr, B.: Fundamentals of algebraic specification 2. EATCS Monographs on Theor. Comp. Science, Vol. 21, Springer Verlag, 1990
6. Frakes, W. B. & Nejmeh, B. A.: Software Reuse through Information Retrieval. In: Proceedings of the 20th Annual HICSS, Kona, HI, pp. 530-535, 1987.
7. Gaudel, M. C. & Moineau, T.: A Theory of Software Reusability. In: H. Ganzinger (ed.): Proceedings ESOP '88, Springer Lecture Notes in Computer Science 300, pp. 115-130, 1988.
8. Hennicker, R. & Wirsing, M.: Formal Aspects of Software Reusability. In: Proceedings of the First International Workshop on Software Reusability, Technical Report No. 57, Departement of Computer Science, University of Dortmund, 1991.
9. Jarke M.: ConceptBase V3.0 User Manual. Jarke, M. (Ed.) University of Passau, 1991.
10. Maarek, Y. S.: An Information Retrieval Approach for Building Reuse Libraries. In: Proceedings of the First International Workshop on Software Reusability, Techn. Rep. 57, Depart, of Computer Science, University of Dortmund, 1991.
11. Meyer, B.: Object-Oriented Software Construction. New York, Prentice Hall, 1988.
12. Mylopoulos, J. & Borgida, A. & Jarke, M. & Kourbakis, M.: Telos: A Language for Representing Knowledge about Information Systems. ACM Transactions on Information Systems, Vol. 8, No. 4, 1990.
13. Prieto-Diaz, R.: A Software Classification Scheme. Ph. D.-Thesis, Univ. of California, Irving, 1985.
14. Wirsing, M.: Structured Algebraic Specification: A Kernel Language. Theoretical Computer Science 42, pp. 123-249, 1986.
15. Wood, M. & Sommerville, I.: An Information Retrieval System for Software Components. IEE/BCS, Software Engineering Journal, pp. 198-207, Sep. 1988.