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