DocumentCode
3142458
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
fYear
1991
fDate
25-26 Oct 1991
Firstpage
120
Lastpage
129
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on
Conference_Location
Como
Print_ISBN
0-8186-2320-9
Type
conf
DOI
10.1109/IWSSD.1991.213069
Filename
213069
Link To Document