Detail publikace

Formal-method-based Software Development Applied on Embedded Systems: Platform-independent Source Code

KOLÁŘ, D.; BLIŽŇÁK, M. Formal-method-based Software Development Applied on Embedded Systems: Platform-independent Source Code. In Conference Proceedings of MITIP. Budapest: 2006. p. 487-492. ISBN: 963-86586-5-7.
Název česky
Vývoj software na základě formálních metod aplikovaný na vestavěné systémy: platformě nezávislý zdrojový kód
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Kolář Dušan, doc. Dr. Ing. (UIFS)
Bližňák Michal, Ing.
Klíčová slova

DKA, deterministické konečné automaty, konečné automaty, generování kódu, ANSI C, RAD, optimalizace kódu, platformě-nezávislý, zdrojový kód

Abstrakt

Jedna z mošností, jak urychlit vývoj software je aplikace formálních metod a postupů. Tyto metody zaručují zvýšení efektivity při současném zachování či zvýšení kvality prokukovaného software. Článek ukazuje možnosti úspěšného užití konečných automatů pro vývoj paltformě nezávislého software pro vestavěné systémy. Zjeména potom optimalizační techniky pro dosažení efektivity kódu.

Rok
2006
Strany
487–492
Sborník
Conference Proceedings of MITIP
ISBN
963-86586-5-7
Místo
Budapest
BibTeX 
@inproceedings{BUT22396,
  author="Dušan {Kolář} and Michal {Bližňák}",
  title="Formal-method-based Software Development Applied on Embedded Systems: Platform-independent Source Code",
  booktitle="Conference Proceedings of MITIP",
  year="2006",
  pages="487--492",
  address="Budapest",
  isbn="963-86586-5-7"
}
Nahoru