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.
Showing items related by title, author, creator and subject.
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 ...
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, ...
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 ...