Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 40026

Automatic Erlang Code Generation from SDL Specification


Kunštić, Marijan; Jukić, Oliver; Mikuc, Miljenko
Automatic Erlang Code Generation from SDL Specification // Electronics in Marine, ELMAR'99, Symposium Proceedings
Zagreb: Croatian Society Electronics in Marine, 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 : Croatian Society Electronics in Marine, ELMAR, 1999, 174-177

Skup
Electronics in Marine,ELMAR'99

Mjesto i datum
Zadar, Hrvatska, 6.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



POVEZANOST RADA


Projekti:
036004

Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Marijan Kunštić (autor)

Avatar Url Miljenko Mikuc (autor)

Avatar Url Oliver Jukić (autor)


Citiraj ovu publikaciju:

Kunštić, Marijan; Jukić, Oliver; Mikuc, Miljenko
Automatic Erlang Code Generation from SDL Specification // Electronics in Marine, ELMAR'99, Symposium Proceedings
Zagreb: Croatian Society Electronics in Marine, ELMAR, 1999. str. 174-177 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Kunštić, M., Jukić, O. & Mikuc, M. (1999) Automatic Erlang Code Generation from SDL Specification. U: Electronics in Marine, ELMAR'99, Symposium Proceedings.
@article{article, year = {1999}, pages = {174-177}, keywords = {FDTs, SDL, Erlang, translation}, title = {Automatic Erlang Code Generation from SDL Specification}, keyword = {FDTs, SDL, Erlang, translation}, publisher = {Croatian Society Electronics in Marine, ELMAR}, publisherplace = {Zadar, Hrvatska} }
@article{article, year = {1999}, pages = {174-177}, keywords = {FDTs, SDL, Erlang, translation}, title = {Automatic Erlang Code Generation from SDL Specification}, keyword = {FDTs, SDL, Erlang, translation}, publisher = {Croatian Society Electronics in Marine, ELMAR}, publisherplace = {Zadar, Hrvatska} }




Contrast
Increase Font
Decrease Font
Dyslexic Font