IEEE - Institute of Electrical and Electronics Engineers, Inc. - Domain descriptions

Author(s): Jackson, M. ; Zave, P.
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): 56 - 64
ISBN (Paper): 0-8186-3120-1
DOI: 10.1109/ISRE.1993.324836
Regular:

Ideas about the meaning of descriptions, aimed at clarifying the relationship between a formal specification and the domain of the system to be specified, are introduced. Understanding of... View More

Advertisement