Пошук академічних текстів

Інформація × Реєстраційний номер 0493U001085, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 12-01-1993 Статус Запланована Назва роботи функицональный подход к концептуальному программированию Здобувач Приходько Павел Петрович, Керівник Редько В.Н. Опонент Капитонова Ю.В. Опонент Оленин М.В. Опис Объект исследования: Возможности программистских средств изображения предметных областей. Цель исследования: Развитие методов и средств концептуального программирования как обработки знаний. Методы исследования и аппаратура: Теории структур, композиционного программирования, схем программ, формальных языков, дедуктивных систем. Теоретические результаты и новизна: Разработаны оригинальное исчисление императивных схем и мтеод построения вывода в таком исчислении. Практические результаты и новизна: Рекомендации к построению оригинальной технологии концептуального программирования. Предмет и степень внедрения: Подход к построению технологии концептуального программирования. Эффективность внедрения: Повышение продуктивности программирования за счет использования прозрачных функиоциональных спецификаций. Сфера (область) использования: Информационные технологии. Дата реєстрації 1993-02-15 Додано в НРАТ 2021-03-18 Закрити