Applications and Meaning of Inheritance in Software Specifications
Loading...
Authors
Berzins, Valdis
Luqi
Lee, Yuh-Jeng
Subjects
Advisors
Date of Issue
1992
Date
Publisher
Language
Abstract
We present a novel inheritance mechanism for a
specification language. This mechanism supports stepwise
refinement by combining constraints that can be
inherited from several sources. Inheritance in specifications
differs from inheritance in programming languages.
The proposed mechanism has been designed
specifically to support computer-aided requirements
analysis. The main design issues for the mechanism
are explained, and the application of the mechanism
to requirements analysis is illustrated via examples.
Type
Article
Description
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
This research was supported in part by the Army Research Office under grant number ARO-145-91. This research was supported in part by the National Science Foundation under grant number CCR-9058453.
Funder
Format
Citation
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.