Search academic texts

Information × Registration Number 0493U001085, Candidate dissertation Status к.ф.-м.н. Date 12-01-1993 popup.evolution o Title Author Приходько Павел Петрович, popup.head Редько В.Н. popup.opponent Капитонова Ю.В. popup.opponent Оленин М.В. Description Объект исследования: Возможности программистских средств изображения предметных областей. Цель исследования: Развитие методов и средств концептуального программирования как обработки знаний. Методы исследования и аппаратура: Теории структур, композиционного программирования, схем программ, формальных языков, дедуктивных систем. Теоретические результаты и новизна: Разработаны оригинальное исчисление императивных схем и мтеод построения вывода в таком исчислении. Практические результаты и новизна: Рекомендации к построению оригинальной технологии концептуального программирования. Предмет и степень внедрения: Подход к построению технологии концептуального программирования. Эффективность внедрения: Повышение продуктивности программирования за счет использования прозрачных функиоциональных спецификаций. Сфера (область) использования: Информационные технологии. Registration Date 1993-02-15 popup.nrat_date 2021-03-18 Close