GLOW 3.0 (or GLOW for short), is a Graphical LOTOS Browser, that is, a tool that allows one to produce, examine, modify, save and print graphical representations of any specification written in standard, textual LOTOS. Such graphical representations are conforming to the G-LOTOS syntax discussed in Chapter 20 of this book. Thus, GLOW can be used for enriching the documentation produced in the LOTOS-based software life cycle.
GLOW 3.0 - A Graphical LOTOS Browser
Bolognesi T;
1995
Abstract
GLOW 3.0 (or GLOW for short), is a Graphical LOTOS Browser, that is, a tool that allows one to produce, examine, modify, save and print graphical representations of any specification written in standard, textual LOTOS. Such graphical representations are conforming to the G-LOTOS syntax discussed in Chapter 20 of this book. Thus, GLOW can be used for enriching the documentation produced in the LOTOS-based software life cycle.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
