Detail výsledku

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

KOLÁŘ, D.; BLIŽŇÁK, M. Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/třetí část/). AT&P Journal, 2007, roč. 07, č. 02, s. 57-58. ISSN: 1335-2237.
Název anglicky
Formal Methods of Software Design Applied on Embedded Systems: Platform-Independent Source Code (/Part 3/)
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ávrhusoftware prostřednictvím konečných automatů, respektive jejichmodifikace s ohledem na aplikace vestavěných systémů. Text sekoncentruje na možnosti transformace automatu do kódu programovacíhojazyka tak, aby byl využitelný na co nejvíce platformách.

Abstrakt anglicky

One of three articles informing about formal means used in softwaredevelopment for embedded systems. It concantrates on a platformindependent 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
2007
Strany
57–58
Časopis
AT&P Journal, roč. 07, č. 02, ISSN 1335-2237
BibTeX 
@article{BUT48162,
  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 (/třetí část/)",
  journal="AT&P Journal",
  year="2007",
  volume="07",
  number="02",
  pages="57--58",
  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