Carnegie Mellon University
Browse
- No file added yet -

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."

History

Date

2003-10-01

Usage metrics

    Categories

    Keywords

    Data protection.Computers Access control.Visual programming languages (Computer science)

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC