IEEE - Institute of Electrical and Electronics Engineers, Inc. - Specifications of a general user interface in LOTOS and OBJ

Author(s): Wiersma, D. ; Ohmaki, K. ; Futatsugi, K.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1991
Conference Location: Tokyo, Japan
Conference Date: 11 September 1991
Page(s): 90 - 97
ISBN (Paper): 0-8186-2152-4
DOI: 10.1109/CMPSAC.1991.170157
Regular:

The authors specify an example system, XVT, using two formal specification languages, LOTOS and OBJ, in order to compare both specifications from the viewpoint of a user of specification... View More

Advertisement