Specification matching of object-oriented components

Feiks, Frank and Hemer, David (2003). Specification matching of object-oriented components. In: A. Cerone and P. Lindsay, Proceedings of the First International Conference on Software Engineering and Formal Methods (SEFM'03). First International Conference on Software Engineering and Formal Methods, Brisbane, Australia, (182-190). 22-27 September 2003. doi:10.1109/SEFM.2003.1236220


Author Feiks, Frank
Hemer, David
Title of paper Specification matching of object-oriented components
Conference name First International Conference on Software Engineering and Formal Methods
Conference location Brisbane, Australia
Conference dates 22-27 September 2003
Proceedings title Proceedings of the First International Conference on Software Engineering and Formal Methods (SEFM'03)
Journal name Proceedings - 1st International Conference on Software Engineering and Formal Methods, SEFM 2003
Place of Publication Los Alamitos, California
Publisher IEEE Computer Society
Publication Year 2003
Sub-type Fully published paper
DOI 10.1109/SEFM.2003.1236220
ISBN 0-7695-1949-0
Editor A. Cerone
P. Lindsay
Start page 182
End page 190
Total pages 9
Collection year 2003
Language eng
Abstract/Summary 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.
Subjects E1
280302 Software Engineering
700199 Computer software and services not elsewhere classified
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 1 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 3 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Fri, 24 Aug 2007, 10:15:41 EST