Detail publikace
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.
Originální název
Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/třetí část/)
Anglický název
Formal Methods of Software Design Applied on Embedded Systems: Platform-Independent Source Code (/Part 3/)
Typ
článek v časopise - ostatní, Jost
Jazyk
čeština
Originální 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.
Anglický abstrakt
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 v angličtině
embedded systems, formal design, source code
Autoři
KOLÁŘ, D.; BLIŽŇÁK, M.
Rok RIV
2007
Vydáno
1. 2. 2007
ISSN
1335-2237
Periodikum
AT&P Journal
Ročník
07
Číslo
02
Stát
Slovenská republika
Strany od
57
Strany do
58
Strany počet
2
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"
}