1. |
- Backlund, Björn, et al.
(author)
-
A graphical G-LOTOS editor defined by meta-tool LOGGIE
- 1989. - 1
-
Reports (other academic/artistic)abstract
- We present a prototype implementation of a graphical editor for a subset of G-LOTOS. The graphical G-LOTOS syntax is beeing standardized within ISO for the LOTOS specification language. First, we provide a formal definition of the G-LOTOS subset. Then, the specification the editor is derived from this formal definition. Finally, the editor is generated automatically using the LOGGIE meta-tool.
|
|