Приходько П. П. функицональный подход к концептуальному программированию

Объект исследования: Возможности программистских средств изображения предметных областей. Цель исследования: Развитие методов и средств концептуального программирования как обработки знаний. Методы исследования и аппаратура: Теории структур, композиционного программирования, схем программ, формальных языков, дедуктивных систем. Теоретические результаты и новизна: Разработаны оригинальное исчисление императивных схем и мтеод построения вывода в таком исчислении. Практические результаты и новизна: Рекомендации к построению оригинальной технологии концептуального программирования. Предмет и степень внедрения: Подход к построению технологии концептуального программирования. Эффективность внедрения: Повышение продуктивности программирования за счет использования прозрачных функиоциональных спецификаций. Сфера (область) использования: Информационные технологии.