- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Теория конформности для функционального тестирования программных систем на основе формальных моделей
Тип роботи:
диссертация доктора физико-математических наук
Рік:
2008
Кількість сторінок:
596
Артикул:
14732 179 грн
Рекомендовані дисертації
- Математическое и программное обеспечение обработки оперативной информации и построения специализированных баз данных
- Разработка расширенной реляционной модели данных распределенной хронологической системы управления виртуальными представительствами
- Исследование методов и разработка основных технологических решений построения информационных систем поддержки финансово-экономических бизнес-процессов в лечебно-профилактических учреждениях
- Разработка алгоритмического и программного обеспечения для проектирования и поддержки регионального банка цифровой геологической информации
- Эффективные алгоритмы для операционных систем, поддерживающих распределенную обработку и мягкое реальное время
- Разработка метода и создание системы полнотекстового поиска на основе статистической обработки ограниченного контекста слова
- Методика разработки тиражных учетных систем с использованием специализированной инструментальной среды
- Анализ и разработка алгоритмов и программного обеспечения для компьютерных систем управления транспортными техническими устройствами в изменяющихся условиях
- Эволюционно расширяемые и повторно используемые языковые средства процедурно-параметрической парадигмы программирования
- Методы визуализации и сжатия дискретных моделей поверхностей