file.pdf (1.85 MB)
Download file

A Larch specification of the Miro editor

Download (1.85 MB)
journal contribution
posted on 2003-10-01, 00:00 authored by Amy Moormann. Zaremski
Abstract: "The Miró visual language [HMT90] allow a user to specify the security configuration of a file system and general security policy constraints. We describe our use of the Larch specification languages [GHW85, GHM90] to specify Miró pictures and the Miró graphical editor; we include the complete specification as an appendix."