Detail výsledku

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 (FIT)
Bližňák Michal, Ing., UIFS (FIT)
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.

Abstrakt anglicky

One of three articles informing about formal means used in software development for embedded systems. It concantrates on a platform independent code generation.

Klíčová slova

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

Klíčová slova anglicky

embedded systems, formal design, source code

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"
}
Projekty
Specifický výzkum, VUT, Vnitřní projekty VUT, SV, zahájení: 2005-01-01, ukončení: 2009-12-31, ukončen
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru