Specification matching of object-oriented components
| dc.contributor.author | Feiks, F. | |
| dc.contributor.author | Hemer, D. | |
| dc.contributor.conference | International Conference on Software Engineering and Formal Methods (1st : 2003 : Brisbane, Qld.) | |
| dc.date.issued | 2003 | |
| dc.description.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. | |
| dc.description.statementofresponsibility | Frank Feiks, David Hemer | |
| dc.identifier.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 | |
| dc.identifier.doi | 10.1109/SEFM.2003.1236220 | |
| dc.identifier.isbn | 0769519490 | |
| dc.identifier.uri | http://hdl.handle.net/2440/36718 | |
| dc.language.iso | en | |
| dc.publisher | IEEE | |
| dc.publisher.place | Online | |
| dc.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. | |
| dc.source.uri | http://dx.doi.org/10.1109/sefm.2003.1236220 | |
| dc.title | Specification matching of object-oriented components | |
| dc.type | Conference paper | |
| pubs.publication-status | Published |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- hdl_36718.pdf
- Size:
- 133.06 KB
- Format:
- Adobe Portable Document Format