Applications and Meaning of Inheritance in Software Specifications
Luqi_Applications_1992.pdf (937.6Kb)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.
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.Collections
Related items
Showing items related by title, author, creator and subject.
-
Combatting terrorism through study of the genetic psychology of terrorist leaders--the early development of the terrorist mind
(Monterey, California. Naval Postgraduate School, 1989-12);The purpose of this thesis is to demonstrate the necessity for law enforcement, intelligence, and other organizations responsible for collecting information on "proponents of terror," to include in target dossiers, ... -
The covering property of the object-oriented data model: design and implementation issues
(Monterey, California. Naval Postgraduate School, 1993-09);Inheritance is a necessary condition for construction of an object- oriented data model (OODM), but it is not sufficient. This is because inheritance applies to only one hierarchy. The covering construct meets this deficiency ... -
Ada as a paedeutic tool for abstract data types
(Monterey, California. Naval Postgraduate School, 1988-12);This thesis discusses the pedagogy for abstract data types (ADTs) . Language features needed for teaching ADTs are listed and arguments for needing them are provided. ADTs are implemented in Ada to show the benefit of ...
