DocumentCode
278966
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
Volume
ii
fYear
1992
fDate
7-10 Jan 1992
Firstpage
64
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;
fLanguage
English
Publisher
ieee
Conference_Titel
System Sciences, 1992. Proceedings of the Twenty-Fifth Hawaii International Conference on
Conference_Location
Kauai, HI
Print_ISBN
0-8186-2420-5
Type
conf
DOI
10.1109/HICSS.1992.183278
Filename
183278
Link To Document