Detail publikace

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

Anglický název

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

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

2006

Vydáno

1. 12. 2006

ISSN

1335-2237

Periodikum

AT&P Journal

Ročník

06

Číslo

12

Stát

Slovenská republika

Strany od

69

Strany do

70

Strany počet

2

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"
}