Title :
Applications and meaning of inheritance in software specifications
Author :
Berzins, Valdis ; Luqi ; Lee, Yuh-jeng
Author_Institution :
Dept. of Comput. Sci., Naval Postgraduate Sch., Monterey, CA, USA
Abstract :
Presents 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
Keywords :
object-oriented programming; specification languages; systems analysis; computer-aided requirements analysis; constraints; inheritance mechanism; software specifications; stepwise refinement; Application software; Computer languages; Computer science; Data structures; Design automation; Organizing; Programming; Software reusability; Software systems; Specification languages;
Conference_Titel :
System Sciences, 1992. Proceedings of the Twenty-Fifth Hawaii International Conference on
Conference_Location :
Kauai, HI
Print_ISBN :
0-8186-2420-5
DOI :
10.1109/HICSS.1992.183278
