Pregled bibliografske jedinice broj: 40026
Automatic Erlang Code Generation from SDL Specification
Automatic Erlang Code Generation from SDL Specification // Electronics in Marine, ELMAR'99, Symposium Proceedings
Zagreb: Hrvatsko društvo Elektronika u pomorstvu (ELMAR), 1999. str. 174-177 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 40026 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Automatic Erlang Code Generation from SDL Specification
Autori
Kunštić, Marijan ; Jukić, Oliver ; Mikuc, Miljenko
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Electronics in Marine, ELMAR'99, Symposium Proceedings
/ - Zagreb : Hrvatsko društvo Elektronika u pomorstvu (ELMAR), 1999, 174-177
Skup
Electronics in Marine,ELMAR'99
Mjesto i datum
Zadar, Hrvatska, 06.1999
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
FDTs; SDL; Erlang; translation
Sažetak
Computer software is overshadowing hardware in cost and complexity and is rapidly becoming the dominant part in the development process of telecommunication systems. FDTs (Formal Description Techniques) represent a promising approach for obtaining confidence in the correctness of system. In order to improve translation from the formal system specification toward its implementation we have developed SDL to Erlang translator. This paper is structured as follows: first we will give a brief introduction to SDL (Specification and Description Language) and Erlang programming language. Since relations between those languages are considered in previous works, we will not focus on it. In the second section we will describe development of our SDL to Erlang translator. Finally, we will give some hints for our future work.
Izvorni jezik
Engleski
Znanstvena područja
Elektrotehnika
