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