A formal specification of a visual language editor

Authors:
Jeannette M. Wing;Amy Moormann Zaremski
Affiliations:
Carnegie Mellon University, Pittsburgh, PA;Carnegie Mellon University, Pittsburgh, PA
Venue:
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Year:
1991

Citing 1
Cited 1

Miro: Visual Specification of Security

IEEE Transactions on Software Engineering

Unit-level test adequacy criteria for visual dataflow languages and a testing methodology

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a non-trivial case study on the use of the Larch specification languages to describe the Miró visual languages and graphical editor. In addition to excerpts from the specification, we discuss properties of Miró provable from the specification, limitations of Larch, and general lessons learned from this exercise.