Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
критерий
Связанные издания:
Applying Extended Finite State Machines in Software Testing of Interactive Systems
Evolutionary Multi-Criterion Optimization: Proc./Third International Conference, EMO 2005. Guanajuato, Mexico, March 2005
Factorized test generation for multi-input/output transition systems
Formal Methods and Testing: Revised Selected Papers/An Outcome of the FOREST Network
Measuring the Importance of Ethical Behavior Criteria
Schema Integration Methodology and Its Verification by Use of Information Capacity
Specifying and Generating Test Cases Using Observer Automata
Выпуклые критерии и параллелизуемые алгоритмы селективного комбинирования разнородных представлений объектов в задачах восстановления зависимостей по эмпирическим данным
Вычислимые классы и алгебраические критерии автоустойчивости
Генерация позитивных и негативных тестов для парсеров
Исследование сложности вычисления рекурсивных программ на основе специфических критериев
Исследование сложности вычисления рекурсивных программ на основе специфических критериев
Критерии полноты тестового покрытия в генетических алгоритмах генерации тестов
Критерии тестирования и система оценки полноты набора тестов
Методы аппроксимации границы парето в нелинейных задачах многокритериальной оптимизации
О классификации парадигм и языков программирования
Оптимальность систем одинаково распределенных конкурирую их процессов
Особенности применения метода анализа иерархий при оценке проблем по метрическим критериям
Оценка верификации критического программного обеспечения: критерии, модели и реализация
Статистические критерии апостериорного обнаружения разладки временных рядов и их применения