Реєстраційний номер
0207U000006,
0102U003204
, Науково-дослідна робота
Назва роботи
Розробити методи та засоби продукування і маніпулювання знаннями у операційному середовищі інтелектуалізації інформаційних технологій.
Назва етапу роботи
Керівник роботи
Летичевський Олександр Адольфович,Перевозчикова Ольга Леонідівна,
Дата реєстрації
03-01-2007
Організація виконавець
Інститут кібернетики ім. В.М.Глушкова НАН України
Опис етапу
Розроблено нові методи формалізації вимог та специфікацій розподілених систем на основі базо-вих протоколів, розвинуто дедуктивні методи вери-фікації та генерації тестів із застосуванням елемен-тів доведення теорем. Розроблено формальний алге-бро-граматичний апарат автоматичного перетво-рення невпорядкованої сукупності обчислень у структуроване подання застосування, подання й оптимізацію інтерфейсів користувача інтернет/ інтранет-застосувань, проведено інтеграцію цього апарату до засобів генерації застосувань, який апробовано на прикладі низки застосувань.
Опис продукції
Автори роботи
Додано/оновлено в НРАТ
2020-04-02
