loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
First International Conference on Software Engineering and Formal Methods (SEFM'03)
Specification Matching of Object-Oriented Components
Brisbane, Australia
September 22-September 27
ISBN: 0-7695-1949-0
Frank Feiks, Technical University of Berlin
David Hemer, University of Queensland
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.
Index Terms:
specification matching, OO components, retrieval
Citation:
Frank Feiks, David Hemer, "Specification Matching of Object-Oriented Components," sefm, pp.182, First International Conference on Software Engineering and Formal Methods (SEFM'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.