Referenced Items are not available for this document.
Using formal specifications to represent software components facilitates tire determination of reusability because they more precisely characterize the functionality of the software, and the well-defined syntax makes processing amenable to automation. This paper presents an approach, based on formal methods, to the modification of reusable software components. From a two-tiered hierarchy of reusable software components, the existing components that are more general than the query specification are retrieved from the hierarchy. The specification for a more general retrieved component is compared to the query specification to determine what changes need to be applied to the corresponding program component in order to make it satisfy the query specification. This paper also describes an approach for assisting in the modification of more general components and gives an example to demonstrate its use
Published in:
Knowledge-Based Software Engineering Conference, 1994. Proceedings., Ninth
Date of Conference: 20-23 Sep 1994
- Page(s):
- 90 - 97
- Meeting Date :
- 20 Sep 1994-23 Sep 1994
- ISSN :
- 1068-3062
- Print ISBN:
- 0-8186-6380-4
- INSPEC Accession Number:
- 4785240
- Conference Location :
- Monterey, CA
- Digital Object Identifier :
- 10.1109/KBSE.1994.342674
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
