Detail publikace

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

BLIŽŇÁK Michal a KOLÁŘ Dušan. Formal-method-based Software Development Applied on Embedded Systems: Platform-independent Source Code. In: Conference Proceedings of MITIP. Budapest, 2006, s. 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
angličtina
Autoři
Bližňák Michal, Ing. (UTB ve Zlíně)
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT)
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
Konference
The Modern Information Technology in the Innovation Processes of the Industrial Enterprises The Modern Information Technology in the Innovation Processes of the Industrial Enterprises, Budapest, HU
ISBN
963-86586-5-7
Místo
Budapest, HU
BibTeX 
@INPROCEEDINGS{FITPUB8191,
   author = "Michal Bli\v{z}\v{n}\'{a}k and Du\v{s}an Kol\'{a}\v{r}",
   title = "Formal-method-based Software Development Applied on Embedded Systems: Platform-independent Source Code",
   pages = "487--492",
   booktitle = "Conference Proceedings of MITIP",
   year = 2006,
   location = "Budapest, HU",
   ISBN = "963-86586-5-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8191"
}
Nahoru