post_parent): $temp_content = $post->post_content; $temp_content = explode("

",$temp_content); $temp_content = $temp_content[1]; $temp_content = explode("

",$temp_content); $temp_content = $temp_content[0]; $temp_content = strip_tags($temp_content); $temp_content = trim($temp_content); $authors = explode(",",$temp_content); ?> post_title));?>"> $value): ?> "> "> "> post_content); while ($parser->parse()) { if (($parser->iNodeName=="a")&&(substr_count($parser->iNodeAttributes['href'],".pdf")>0)): ?>

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

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

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

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