G-LOTOS Visual Development Environment (CROSBI ID 463801)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Glavinić, Vlado ; Motik, Boris
engleski
G-LOTOS Visual Development Environment
LOTOS is one of the standardized languages used for communication systems specification. It is based on temporal logic and enables specifying of system behavior without need for its internal structure to be known. A graphical extension named G-LOTOS has been devised to improve the ease of use. An integrated environment supporting both LOTOS and G-LOTOS specification development is described in this paper providing the user the benefits of working within a unified framework. The user accesses the environment via the respective text and visual editors. The intermediate form derived from the input specification can subsequently be processed by particular add-in modules, such as interactive simulator, conformance tester, automatic implementor, etc.
development environment; LOTOS; user interfaces; visual languages
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
136-139-x.
1996.
objavljeno
Podaci o matičnoj publikaciji
M.De Sario, B.Maione, P.Pugliese, M.Savino
Institute of Electrical and Electronics Engineers (IEEE)
Podaci o skupu
8th Mediterranean Electrotechnical Conference
predavanje
13.05.1996-16.05.1996
Bari, Italija