Detail publikačního výsledku

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

English Title

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

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ávrhusoftware prostřednictvím konečných automatů, respektive jejichmodifikace s ohledem na aplikace vestavěných systémů. Text sekoncentruje na možnosti transformace automatu do kódu programovacíhojazyka tak, aby byl využitelný na co nejvíce platformách.

English abstract

One of three articles informing about formal means used in softwaredevelopment for embedded systems. It concantrates on a platformindependent 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.02.2007

ISBN

1335-2237

Periodical

AT&P Journal

Volume

07

Number

02

State

Slovak Republic

Pages from

57

Pages to

58

Pages count

2

Full text in the Digital Library

http://hdl.handle.net/

BibTex

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