Title :
Defaults in specifications
Author_Institution :
Dept. of Comput., Imperial Coll., London, UK
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;
Conference_Titel :
Requirements Engineering, 1993., Proceedings of IEEE International Symposium on
Conference_Location :
San Diego, CA
Print_ISBN :
0-8186-3120-1
DOI :
10.1109/ISRE.1993.324823
