Detail publikace

Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/první část/)

KOLÁŘ Dušan a BLIŽŇÁK Michal. Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/první část/). AT&P Journal, roč. 06, č. 12, 2006, s. 69-70. ISSN 1335-2237.
Název anglicky
Formal Methods of Software Design Applied on Embedded Systems: Platform-Independent Source Code (/Part 1/)
Typ
článek v časopise
Jazyk
čeština
Autoři
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT)
Bližňák Michal, Ing. (UTB ve Zlíně)
Klíčová slova

vestavěné systémy, formální návrh, zdrojový kód

Abstrakt

Jeden ze série tří článků pojednávajících o možnosti formalizace návrhu software prostřednictvím konečných automatů, respektive jejich modifikace s ohledem na aplikace vestavěných systémů. Text se koncentruje na možnosti transformace automatu do kódu programovacího jazyka tak, aby byl využitelný na co nejvíce platformách.

Rok
2006
Strany
69-70
Časopis
AT&P Journal, roč. 6, č. 12, ISSN 1335-2237
BibTeX
@ARTICLE{FITPUB8277,
   author = "Du\v{s}an Kol\'{a}\v{r} and Michal Bli\v{z}\v{n}\'{a}k",
   title = "Form\'{a}ln\'{i} metody n\'{a}vrhu software aplikovan\'{e} na embedded syst\'{e}my: Platformn\v{e} nez\'{a}visl\'{y} zdrojov\'{y} k\'{o}d (/prvn\'{i} \v{c}\'{a}st/)",
   pages = "69--70",
   journal = "AT\&P Journal",
   volume = 06,
   number = 12,
   year = 2006,
   ISSN = "1335-2237",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/8277"
}
Nahoru