Detail publikace

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

KOLÁŘ, D.; BLIŽŇÁK, M. Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/první část/). AT&P Journal, 2006, roč. 06, č. 12, 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
č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
2006
Strany
69–70
Časopis
AT&P Journal, roč. 06, č. 12, ISSN 1335-2237
BibTeX 
@article{BUT48160,
  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 (/první část/)",
  journal="AT&P Journal",
  year="2006",
  volume="06",
  number="12",
  pages="69--70",
  issn="1335-2237"
}
Nahoru