file.pdf (1.85 MB)
Download file

A Larch specification of the Miro editor

Download (1.85 MB)
journal contribution
posted on 01.10.2003, 00:00 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."