Показать сокращенную информацию
About static analysis of variables physical dimensions for critical-mission software
dc.contributor.author | Brukhankov, S.S. | |
dc.contributor.author | Konorev, B.М. | |
dc.contributor.author | L'vov, M.S. | |
dc.contributor.author | Zholtkevych, G.N. | |
dc.date.accessioned | 2023-01-09T14:12:47Z | |
dc.date.available | 2023-01-09T14:12:47Z | |
dc.date.issued | 2010 | |
dc.identifier.citation | About static analysis of variables physical dimensions for critical-mission software / S. S. Brukhankov, B. М. Konorev, M. S. L'vov, G. N. Zholtkevych // Радіоелектронні і комп'ютерні системи. – 2010. – № 6. – P. 186–191. | uk_UA |
dc.identifier.issn | 1814-4225 | |
dc.identifier.uri | http://dspace.library.khai.edu/xmlui/handle/123456789/3647 | |
dc.description.abstract | Some strong method of static code analysis, namely, analysis of physical dimensions of program variables is researched in the paper. The formal model to analyze the dimensions of variables is built. | uk_UA |
dc.description.abstract | У роботі досліджено деякий сильний метод статичного аналізу коду, а саме: аналіз фізичної розмірності змінних програм. Побудована формальна модель для аналізу розмірності змінних. | uk_UA |
dc.description.abstract | В работе исследован некоторый сильный метод статического анализа кода, а именно: анализ физической размерности переменных программ. Построена формальная модель для анализа размерности переменных. | uk_UA |
dc.language.iso | en | uk_UA |
dc.publisher | ХАІ | uk_UA |
dc.subject | radio electronic and computer systems | uk_UA |
dc.subject | reliability | uk_UA |
dc.subject | software | uk_UA |
dc.subject | static code | uk_UA |
dc.subject | spatial analysis | uk_UA |
dc.subject | надійність | uk_UA |
dc.subject | радіоелектронні і комп'ютерні системи | uk_UA |
dc.subject | програмне забезпечення | uk_UA |
dc.subject | статичний код | uk_UA |
dc.subject | просторовий аналіз | uk_UA |
dc.subject | радиоэлектронные и компьютерные системы | uk_UA |
dc.subject | надежность | uk_UA |
dc.subject | программное обеспечение | uk_UA |
dc.subject | статический код | uk_UA |
dc.subject | пространственный анализ | uk_UA |
dc.title | About static analysis of variables physical dimensions for critical-mission software | uk_UA |
dc.type | Article | uk_UA |