Например, Бобцов

ПОИСК ПРОГРАММНЫХ КОМПОНЕНТ ДЛЯ ПОВТОРНОГО ИСПОЛЬЗОВАНИЯ С ПОМОЩЬЮ АВТОМАТИЗИРОВАННЫХ СИСТЕМ ДОКАЗАТЕЛЬСТВ ТЕОРЕМ

Аннотация:

Настоящая работа рассматривает вопросы, связанные с поиском программных компонент при разработке программного обеспечения на базе процесса повторного использования. В частности, авторы предлагают вариант решения ряда проблем, возникающих при аппроксимационном поиске методом Мили.

Ключевые слова:

Статьи в номере