Построение баз знаний для совместного создания программ и оборудования и их формальной верификации

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

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

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