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

English abstract

One of three articles informing about formal means used in softwaredevelopment for embedded systems. It concantrates on a platformindependent code generation.

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