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