Detail publikace

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

KOLÁŘ, D.; BLIŽŇÁK, M. Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/druhá část/). AT&P Journal, 2007, roč. 07, č. 01, s. 57-58. ISSN: 1335-2237.
Název anglicky
Formal Methods of Software Design Applied on Embedded Systems: Platform-Independent Source Code (/Part 2/)
Typ
článek v časopise
Jazyk
česky
Autoři
Kolář Dušan, doc. Dr. Ing. (UIFS)
Bližňák Michal, Ing.
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
2007
Strany
57–58
Časopis
AT&P Journal, roč. 07, č. 01, ISSN 1335-2237
BibTeX 
@article{BUT48161,
  author="Dušan {Kolář} and Michal {Bližňák}",
  title="Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/druhá část/)",
  journal="AT&P Journal",
  year="2007",
  volume="07",
  number="01",
  pages="57--58",
  issn="1335-2237"
}
Nahoru