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