Applications and Meaning of Inheritance in Software Specifications
MetadataShow full item record
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.
RightsThis 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.
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 Martinez, Peter, Jr. (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, ...
Estes, Todd Gregory; Mueller, Eric Martin (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 ...
Britnell, Richard Neely (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 ...