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

Оновлено: 2026-03-23