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.
English title
Formal Methods of Software Design Applied on Embedded Systems: Platform-Independent Source Code (/Part 1/)
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.

English abstract

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

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