IEEE - Institute of Electrical and Electronics Engineers, Inc. - Defaults in specifications

Author(s): Ryan, M.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: San Diego, CA, USA
Conference Date: 6 January 1993
Page(s): 142 - 149
ISBN (Paper): 0-8186-3120-1
DOI: 10.1109/ISRE.1993.324823
Regular:

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... View More

Advertisement