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.
A message can be communicated to other people using a combination of pictures, sounds, and actions. ...
Abstract: The tremendous sharing of multimedia objects on the web shed the light on several privacy ...
Larch/Smalltalk is a Larch interface specification language for Smalltalk with subtype relations. As...
Abstract: "Miró is a set of languages and tools that support visual specification of file system s...
We describe a system called Miro for specifying and checking security constraints. Our system is gen...
AbstractEach member of the Larch family of formal specification languages has a component derived fr...
Current research in specifications is emphasizing the practical use of formal specifications in prog...
As software is increasingly used to control critical systems, program correctness becomes paramount....
This paper gives a quick overview of Larch/C++, an interface specification language for C++. Through...
We describe a preliminary design for a Larch interface language for the programming language ML. 1 ...
The article is devoted to the development of a software controller for automation of access to tools...
Abstract- This paper reports on our experience in using a graphical tool for protocol specification ...
Develops a methodology to verify the completeness of formal specification intended for a black-box r...
Although used by most of system developers, imperative languages are known for not being able to pro...
Although used by most of system developers, imperative languages are known for not being able to pro...
A message can be communicated to other people using a combination of pictures, sounds, and actions. ...
Abstract: The tremendous sharing of multimedia objects on the web shed the light on several privacy ...
Larch/Smalltalk is a Larch interface specification language for Smalltalk with subtype relations. As...
Abstract: "Miró is a set of languages and tools that support visual specification of file system s...
We describe a system called Miro for specifying and checking security constraints. Our system is gen...
AbstractEach member of the Larch family of formal specification languages has a component derived fr...
Current research in specifications is emphasizing the practical use of formal specifications in prog...
As software is increasingly used to control critical systems, program correctness becomes paramount....
This paper gives a quick overview of Larch/C++, an interface specification language for C++. Through...
We describe a preliminary design for a Larch interface language for the programming language ML. 1 ...
The article is devoted to the development of a software controller for automation of access to tools...
Abstract- This paper reports on our experience in using a graphical tool for protocol specification ...
Develops a methodology to verify the completeness of formal specification intended for a black-box r...
Although used by most of system developers, imperative languages are known for not being able to pro...
Although used by most of system developers, imperative languages are known for not being able to pro...
A message can be communicated to other people using a combination of pictures, sounds, and actions. ...
Abstract: The tremendous sharing of multimedia objects on the web shed the light on several privacy ...
Larch/Smalltalk is a Larch interface specification language for Smalltalk with subtype relations. As...
DOI
Add to ORKG