Title :
A formal specification of a visual language editor
Author :
Wing, Jeannette M. ; Zaremski, Amy Moormann
Author_Institution :
Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
Abstract :
A non-trivial case study is presented, on the use of the Larch specification languages to describe the Miro visual languages and graphical editor. In addition to excerpts from the specification, the authors discuss properties of Miro provable from the specification, limitations of Larch, and general lessons learned from this exercise
Keywords :
computer graphics; formal specification; specification languages; visual languages; Larch specification languages; Miro visual languages; formal specification; general lessons; graphical editor; non-trivial case study; visual language editor; Aerospace electronics; Computer science; Contracts; Formal specifications; Government; Machine vision; Research and development; Security; Specification languages; Writing;
Conference_Titel :
Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on
Conference_Location :
Como
Print_ISBN :
0-8186-2320-9
DOI :
10.1109/IWSSD.1991.213069
