Механизмы включения средств формальных спецификаций к базам знаний компьютерных языков

Пустоваров В.И.

Решение задач повышения уровня автоматизации современных систем программирования и верификации разработанных программных средств требует сохранения спецификаций типов, проблемных отраслей, программных объектов и критериев эффективности реализации программ. Для реализации задач автоматизированного определения типов и формального синтеза, верификации и формирования исполнительных кодов предлагается отображение различных нужных элементов спецификаций компьютерных языков в различных форматах графов представления языков и современных средств мультимедиа. Использование таких представлений обеспечивает предельно эффективное обращение к базам знаний предыдущих решений при доказательной построения новых и усовершенствованных приложений и моделей.


Загрузить (pdf)