Publication result 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

Peer-reviewed article not indexed in WoS or Scopus

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

2010

Released

01.12.2006

ISBN

1335-2237

Periodical

AT&P Journal

Volume

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