DocumentCode
2093530
Title
Defaults in specifications
Author
Ryan, Mark
Author_Institution
Dept. of Comput., Imperial Coll., London, UK
fYear
1993
fDate
4-6 Jan 1993
Firstpage
142
Lastpage
149
Abstract
A formalism is motivated and described for representing defaults in specifications. The formalism is called ordered theory presentations. The ability to represent defaults narrows the gap between a customer´s initial requirements and a formal specification, and supports reuse on both a small and a large scale. Issues are illustrated throughout reference to the lift example. The application of the formalism to specification revision is considered
Keywords
formal logic; formal specification; software reusability; formal specification; initial requirements; lift example; ordered theory presentations; reuse; specification defaults; specification revision; Batteries; Educational institutions; Formal specifications; Large-scale systems; Postal services; Switches;
fLanguage
English
Publisher
ieee
Conference_Titel
Requirements Engineering, 1993., Proceedings of IEEE International Symposium on
Conference_Location
San Diego, CA
Print_ISBN
0-8186-3120-1
Type
conf
DOI
10.1109/ISRE.1993.324823
Filename
324823
Link To Document