file.pdf (1.85 MB)
A Larch specification of the Miro editor
journal contributionposted on 2003-10-01, 00:00 authored by Amy Moormann. Zaremski
Abstract: "The Miro╠ü 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 Miro╠ü pictures and the Miro╠ü graphical editor; we include the complete specification as an appendix."