A three-phase approach to improve the functionality of t-way strategy
Although t-way strategy tries to generate a minimum test suite (TS) for detecting errors in
software systems, its functionality is affected by three important challenges. The first one …
software systems, its functionality is affected by three important challenges. The first one …
Формальные модели структурных ошибок в базах знаний интеллектуальных систем
ОН Долинина, НК Сучкова, АФ Резчиков - Современные наукоемкие …, 2017 - elibrary.ru
В статье описана первая стадия отладки интеллектуальных систем–статический
анализ; обобщается информация о структурных ошибках в продукционных базах …
анализ; обобщается информация о структурных ошибках в продукционных базах …
Verification of a Rule-Based Expert System by Using SAL Model Checker
MU Siregar, S Abriani - 2019 3rd International Conference on …, 2019 - ieeexplore.ieee.org
Verification of a rule-based expert system ensures that the knowledge base of the expert
system is logically correct and consistent. Application of verification into a rule-based expert …
system is logically correct and consistent. Application of verification into a rule-based expert …
ВЕСТНИК РОСТОВСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА ПУТЕЙ СООБЩЕНИЯ
ВС КОЛОКОЛЬНИКОВ, ТА ФАЛАЛЕЕВА - … ПУТЕЙ СООБЩЕНИЯ Учредители … - elibrary.ru
В настоящее время растет доля поездов повышенного веса и длины. Возникает
необходимость изучения влияния изменения структуры поездопотока на пропускную …
необходимость изучения влияния изменения структуры поездопотока на пропускную …