- Киев+380960830922
Вы здесь
Введите ключевые слова для поиска диссертаций:
Тестирование на основе формальных спецификаций в процессах разработки программных комплексов
Тип работы:
диссертация доктора физико-математических наук в
Год:
2003
Количество страниц:
59
Артикул:
15238 179 грн
Рекомендуемые диссертации
- Средства отладки параллельных программ для мультикомпьютеров (Алгоритмы реализации и разработка отладчика)
- Композиционные методы разработки протоколов на основе сетей Петри
- Методы оценки трудоемкости разработки программного обеспечения корпоративных информационных систем
- Методы и средства программирования софт-архитектур для реконфигурируемых вычислительных систем
- Разработка алгоритмов прямого синтеза аппроксимирующих искусственных нейронных сетей
- Модели, методы и программные средства обработки нечеткой информации в системах поддержки принятия решений на основе когнитивных карт
- Виртуальный футбол роботов : алгоритмы игроков и среда моделирования
- Исследование и разработка методов и программных средств классификации текстовых документов
- Алгоритмы безопасного перехода в сетях Петри для лицензионной защиты программных систем
- Разработка программно-методической системы автоматизации обучения, основанной на логическом подходе