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

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

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

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