Specification matching of object-oriented components
Date
2003
Authors
Feiks, F.
Hemer, D.
Editors
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Conference paper
Citation
Proceedings, First International Conference on Software Engineering and Formal Methods, Brisbane, Australia, September 22 to 27, 2003 / Antonio Cerone and Peter Lindsay (eds.) : pp. 182-190
Statement of Responsibility
Frank Feiks, David Hemer
Conference Name
International Conference on Software Engineering and Formal Methods (1st : 2003 : Brisbane, Qld.)
Abstract
Object-orientation supports software reuse via features such as abstraction, information hiding, polymorphism, inheritance and redefinition. However, while libraries of classes do exist, one of the challenges that still remains is to locate suitable classes and adapt them to meet the specific requirements of the software developer. Traditional approaches to library retrieval are text-based; it is therefore difficult for the developer to express their requirements in a precise and unambiguous manner. A more promising approach is specification-based retrieval, where library component interfaces and requirements are expressed using a formal specification language. In this case retrieval is based on matching formal specifications. In this paper we describe how existing approaches to specification matching can be extended to handle object-oriented components.
School/Discipline
Dissertation Note
Provenance
Description
Access Status
Rights
© 2003 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.