Интеллектуальная среда для автоматизации процесса проектрования функционально-логических программ

УДК 658.52

К.В.Балаиюв

ИНТЕЛЛЕКТУАЛЬНАЯ СРЕДА ДЛЯ АВТОМАТИЗАЦИИ ПРОЦЕССА ПРОЕКТРОВАНИЯ ФУНКЦИОНАЛЬНО-ЛОГИЧЕСКИХ

ПРОГРАММ

Проблема автоматизации и интеллектуализации программирования, рассматриваемого как процесс проектирования программ, является, вероятно, старейшей из проблем, связанных с вычислительными машинами. При этом существуют три аспекта данной проблемы-, вызывающие в настоящее время наибольший интерес.

Первый аспект состоит в необходимости использования различных форм схемного представления программ (например, потоковые, логические, функциональные или отношенческие схемы программ). Схема должна точно определять структуру программы для ее интерпретации. В результате схемного определения выявляется тип программы (последовательная, функциональная, отношенческая и т.д.), который определяет структуру процесса вычислений по схеме.

Второй аспект - тесное взаимодействие с аппаратом логики. В настоящее время мы пытаемся использовать (нередко успешно) математическую логику для спецификации, формальных преобразований, верификации и автоматического синтеза программ. Однако при этом необходимо учитывать, что логика имеет принципиальные ограничения по аксиоматизации и решению многих проблем, в частности связанных с программированием (верификация, эквивалентные преобразования, синтез программ).

Третий аспект проблемы технологических исследований по автоматизации и интеллектуализации программирования основывается на отрицательных результатах в исследованиях программ, искусственном интеллекте и формализации программирования. Попытки их преодоления связаны с более реальными путями использования человеко-машинных программных средств и систем.

В докладе рассматривается, каким образом описанные выше подходы к автоматизации программирования могут быть использованы в современных системах автоматизированного программирования (в частности, объединены с использованием теории направленных отношений для построения систем функционально-логического и потокового программирования). Рассматривается также архитектура интегрировав:.эй интеллектуальной среды для автоматизации процесса разработки функционально-логических программ.

УДК 658.512

Е.Ю. Головина ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ В С ИСТЕМЕ АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

Широкое использование вычислительной техники в различных сферах деятельности человека привело к потребности создания соответствующего программного обеспечения (ПО). Однако трудоемкость и наукоемкость разработки программ настолько огромны, что в настоящее время ведутся работы по созданию новых технологий автоматизации проектирования программных