Specifications of a general user interface in LOTOS and OBJ

Wiersma, D. and Ohmaki, K. and Futatsugi, K. (1991) Specifications of a general user interface in LOTOS and OBJ. In: Fifteenth Annual International Computer Software and Applications Conference, COMPSAC 1991.

Preview

PDF
479Kb

Abstract:	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 languages. They can distinguish two parts in both specifications: a static part and a dynamic part. The authors specified the dynamic part with a CCS approach using LOTOS and with a FSM approach using OBJ. This allows them to compare both languages on how they solve specific systems
Item Type:	Conference or Workshop Item
Copyright:	©1991 IEEE
Link to this item:	http://purl.utwente.nl/publications/56067
Official URL:	http://dx.doi.org/10.1109/CMPSAC.1991.170157
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page