Title :
Mathematical maintenance of automation of development and check of the programs of microcontrollers
Author :
Krischuk, Volodimir ; Maly, Oleksandr
Abstract :
In the paper is mathematical maintenance of automation of development and check of the program of microcontrollers which based on theory of buildings of translators and universal semantic algebra.
Keywords :
microcontrollers; program compilers; program verification; mathematical maintenance; microcontrollers; program check; program development; translators building theory; universal semantic algebra;
Conference_Titel :
Modern Problems of Radio Engineering, Telecommunications and Computer Science, 2008 Proceedings of International Conference on
Conference_Location :
Lviv-Slavsko
Print_ISBN :
978-966-553-678-9
