Publication detail

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

English Title

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

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

2006

Released

1. 12. 2006

ISBN

1335-2237

Periodical

AT&P Journal

Year of study

06

Number

12

State

Slovak Republic

Pages from

69

Pages to

70

Pages count

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