Detail publikace

Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/druhá čá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 (/druhá část/)

Anglický název

Formal Methods of Software Design Applied on Embedded Systems: Platform-Independent Source Code (/Part 2/)

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

Anglický abstrakt

One of three articles informing about formal means used in software development for embedded systems. It concantrates on a platform independent 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. 1. 2007

ISSN

1335-2237

Periodikum

AT&P Journal

Ročník

07

Číslo

01

Stát

Slovenská republika

Strany od

57

Strany do

58

Strany počet

2

BibTex

@article{BUT48161,
  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 (/druhá část/)",
  journal="AT&P Journal",
  year="2007",
  volume="07",
  number="01",
  pages="57--58",
  issn="1335-2237"
}