Pregled bibliografske jedinice broj: 64518
Generic parser for (CO)4PE metamodel framework
Generic parser for (CO)4PE metamodel framework // Annals of DAAAM for 2000 & Proceedings of the 11th International DAAAM Symposium / Katalinic, B. (ur.).
Beč: DAAAM International Vienna, 2000. str. 029-030 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 64518 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Generic parser for (CO)4PE metamodel framework
Autori
Blašković, Bruno ; Knežević, Petar ; Randić, Mirko.
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Annals of DAAAM for 2000 & Proceedings of the 11th International DAAAM Symposium
/ Katalinic, B. - Beč : DAAAM International Vienna, 2000, 029-030
Skup
Annals of DAAAM for 2000 & Proceedings of the 11th International DAAAM Symposium "Intelligent manufacturing & automation: man-machine-nature"
Mjesto i datum
Opatija, Hrvatska, 19.10.2000. - 21.10.2000
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
concurrent systems; parsing; rapid prototype development; (CO)4PE model checking
Sažetak
Optiman usage of model sheckers requires additional modelling efforts especially for large specifications. In this paper the generic parser is introduced as a part of metamodel framework. Parser is realized through the algorithm allowing direct translation of LALR grammar into the output suitable for semantic actions analysis and development. Results are applicable for rapid system development.
Izvorni jezik
Engleski
Znanstvena područja
Elektrotehnika