Result Details

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.
Type
journal article
Language
Czech
Authors
Kolář Dušan, doc. Dr. Ing., DIFS (FIT)
Bližňák Michal, Ing., DIFS (FIT)
Abstract

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.

Keywords

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

English keywords

embedded systems, formal design, source code

Published
2006
Pages
69–70
Journal
AT&P Journal, vol. 06, no. 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"
}
Projects
Specifický výzkum, BUT, Vnitřní projekty VUT, SV, start: 2005-01-01, end: 2009-12-31, completed
Departments
Department of Information Systems (DIFS)
Back to top