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

Шедько О. Г., Окулевич В. В.


Read the full article 

Abstract

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


Copyright 2001-2017 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

Яндекс.Метрика