Defaults in specifications
- 31 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 142-149
- https://doi.org/10.1109/isre.1993.324823
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
This publication has 6 references indexed in Scilit:
- Defaults and revision in structured theoriesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Sharing actions and attributes in modal action logicPublished by Springer Nature ,1991
- Describing, structuring and implementing objectsPublished by Springer Nature ,1991
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980