Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Пошуковий запит: (<.>ID=REF-0000136057<.>) |
Загальна кількість знайдених документів : 1
|
Баранов С. Н. Проверка корректности требований к программным системам, представленным атрибутными транзиционными системами / С. Н. Баранов, В. А. Волков, А. Б. Годлевский, Ю. В. Капитонова, А. А. Летичевский // Кибернетика и систем. анализ. - 2003. - № 6. - С. 3-11. - Библиогр.: 4 назв. - рус.Запропоновано підхід до перевірки потреб або специфікацій програмних систем. Сформульовано мову формальних потреб і властивості програм, що перевіряються. Розглянуто схему доведень деяких важливих динамічних властивостей. Ключ. слова: корректность требований к программам, доказательство теорем, прувер Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
|