Operations for evolving specifications

We have been studying a model of software specification reuse which begins with the retrieval of relevant specification components, and then successively adapts and composes these components to construct a desired complete specification. The focus of the paper is on the composition of reusable speci...

Full description

Saved in:
Bibliographic Details
Published inProceedings of 8th Knowledge-Based Software Engineering Conference pp. 104 - 111
Main Authors Bhat, S., Miriyala, K.
Format Conference Proceeding
LanguageEnglish
Published IEEE Comput. Soc. Press 1993
Subjects
Algebra
Buildings
Costs
Feathers
Lattices
Merging
Programming
Software maintenance
Software performance
Online AccessGet full text

Cover

More Information
Summary:We have been studying a model of software specification reuse which begins with the retrieval of relevant specification components, and then successively adapts and composes these components to construct a desired complete specification. The focus of the paper is on the composition of reusable specification components. We use semantically-based composition operations-that is, operations that are designed to guarantee certain semantic properties of the composite artifact if certain properties hold of the input artifacts-to build complex specifications and to design new reusable specification components reactively. We describe the implementation of four composition operations, and illustrate their use by means of a small scenario.< >
ISBN:9780818641008
0818641002
ISSN:1068-3062
DOI:10.1109/KBSE.1993.341209