Ви є тут

Методология и средства разработки алгоритмов решения задач анализа и синтеза структур программного обеспечения и устройств вычислительной техники

Автор: 

Иванова Галина Сергеевна

Тип роботи: 

Докторская

Рік: 

2007

Артикул:

337175

179 грн

Додати в кошик

Рекомендовані дисертації

• Разработка и исследование методов и средств структурных испытаний программ
• Применение нечеткой логики в системах автономного адаптивного управления
• Исследование методов и разработка программных средств анализа структурной сложности и симметрии графовых моделей систем
• Математическое и программное обеспечение процедур гарантированного оценивания параметров в космических экспериментах
• Тестирование на основе формальных спецификаций в процессах разработки программных комплексов
• Разработка сред пользовательских интерфейсов нового поколения с применением аспектно-ориентированного программирования
• Разработка расширенной реляционной модели данных распределенной хронологической системы управления виртуальными представительствами
• Методы пространственного индексирования в СУБД
• Разработка и реализация методов формально-логической спецификации самонастраивающихся мультиагентных систем с временными ограничениями
• Верификация драйверов операционной системы Linux при помощи предикатных абстракций