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