Publication detail

Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/druhá část/)

KOLÁŘ, D. BLIŽŇÁK, M.

Original Title

Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/druhá část/)

English Title

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

Type

journal article - other

Language

Czech

Original 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

Key words in English

embedded systems, formal design, source code

Authors

KOLÁŘ, D.; BLIŽŇÁK, M.

RIV year

2007

Released

1. 1. 2007

ISBN

1335-2237

Periodical

AT&P Journal

Year of study

07

Number

01

State

Slovak Republic

Pages from

57

Pages to

58

Pages count

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