| dc.contributor.author | Конорев, Б.М. | |
| dc.contributor.author | Петрик, В.Л. | |
| dc.date.accessioned | 2023-02-28T08:36:51Z | |
| dc.date.available | 2023-02-28T08:36:51Z | |
| dc.date.issued | 2006 | |
| dc.identifier.citation | Конорев, Б. М. Обоснование выбора системы единиц физических величин для независимой верификации при сертификации программного обеспечения / Б. М. Конорев, В. Л. Петрик // Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. – Харьков, 2006. – Вып. 33. – С. 116–120. | uk_UA |
| dc.identifier.isbn | 966-662-146-0 | |
| dc.identifier.uri | http://dspace.library.khai.edu/xmlui/handle/123456789/4354 | |
| 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 |
