| dc.contributor.author | Манжос, Ю.С. | |
| dc.contributor.author | Петрик, В.Л. | |
| dc.date.accessioned | 2022-08-09T13:47:42Z | |
| dc.date.available | 2022-08-09T13:47:42Z | |
| dc.date.issued | 2007 | |
| dc.identifier.citation | Манжос, Ю. С. Оценка полноты семантического контроля программного обеспечения информационно-управляющих систем / Ю. С. Манжос, В. Л. Петрик // Авиационно-космическая техника и технология. – Харьков : ХАИ, 2007. – № 5(41). – С. 86–93. | uk_UA |
| dc.identifier.issn | 1727-7337 | |
| dc.identifier.uri | http://dspace.library.khai.edu/xmlui/handle/123456789/1523 | |
| dc.description.abstract | Исследована степень полноты семантического контроля программного обеспечения информационно-управляющих систем авиационно-космических комплексов, основанного на анализе использования физических размерностей. Разработаны и проанализированы модели полноты семантического контроля программного обеспечения. Доказана устойчивость полученных результатов. | uk_UA |
| dc.description.abstract | Досліджено ступінь повноти семантичного контролю програмного забезпечення інформаційно-керуючих систем авіаційно-космічних комплексів, що базується на аналізі використання фізичних розмірностей. Розроблено та проаналізовано моделі повноти семантичного контролю програмного забезпечення. Доведено стійкість отриманих результатів. | uk_UA |
| dc.language.iso | ru | uk_UA |
| dc.publisher | ХАИ | 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 | Оценка полноты семантического контроля программного обеспечения информационно-управляющих систем | uk_UA |
| dc.type | Article | uk_UA |
