Micro tools

Author

Heydon, Allan ; Maimone, Mark W. ; Tygar, J.D. ; Wing, Jeannette M. ; Zaremski, Amy Moormann

Author_Institution

Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA

fYear

1989

fDate

4-6 Oct 1989

Firstpage

86

Lastpage

91

Abstract

Miro provides a visual way to specify security configurations. It consists of two visual specification languages, the instance language and the constrain language. The current Miro tool support is described. The set of tools is divided into front-end and back-end tools. Front-end tools include the editor, parser library, ambiguity checker, and constraint checker; the back-end tools are the file-system-specific probers and configures. What makes some of these tools particularly novel are the nontrivial algorithms implemented to check for properties such as ambiguity. What makes the overall design of the Miro environment particularly interesting and useful for prototyping is loosely coupled way in which the individual tools interact

Keywords

programming environments; software tools; user interfaces; Miro; ambiguity; ambiguity checker; back-end tools; constrain language; constraint checker; editor; file-system-specific probers; front-end; instance language; parser library; prototyping; security configurations; tool support; visual specification languages; Contracts; Law; Legal factors; Out of order; Postal services; Security; Solids; Specification languages; US Department of Defense; US Government;

fLanguage

English

Publisher

ieee

Conference_Titel

Visual Languages, 1989., IEEE Workshop on

Conference_Location

Rome

Print_ISBN

0-8186-2002-1

Type

conf

DOI

10.1109/WVL.1989.77047

Filename

77047