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