Result Details

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.
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á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.

Keywords

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

English keywords

embedded systems, formal design, source code

Published
2007
Pages
57–58
Journal
AT&P Journal, vol. 07, no. 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"
}
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