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