Pregled bibliografske jedinice broj: 3571
G-LOTOS Visual Development Environment
G-LOTOS Visual Development Environment // Proc. MELECON "96 - 8th Mediterranean Electrotechnical Conference, / M.De Sario, B.Maione, P.Pugliese, M.Savino (ur.).
Bari, Italija: Institute of Electrical and Electronics Engineers (IEEE), 1996. str. 136-139 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 3571 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
G-LOTOS Visual Development Environment
Autori
Glavinić, Vlado ; Motik, Boris
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Proc. MELECON "96 - 8th Mediterranean Electrotechnical Conference,
/ M.De Sario, B.Maione, P.Pugliese, M.Savino - : Institute of Electrical and Electronics Engineers (IEEE), 1996, 136-139
Skup
8th Mediterranean Electrotechnical Conference
Mjesto i datum
Bari, Italija, 13.05.1996. - 16.05.1996
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
development environment; LOTOS; user interfaces; visual languages
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Računarstvo
