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