Ви є тут

Верификация С-программ с помощью смешанной аксиоматической семантики

Автор: 

Марьясов Илья Владимирович

Тип роботи: 

Кандидатская

Рік: 

2012

Артикул:

1005480343

179 грн

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

• 
• 
• 

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

• Программная система анализа идентифицируемости динамических моделей
• Создание прототипа интегрированного пакета оценки трудоемкости программного обеспечения
• Модели, методы и программное обеспечение для управления взаимодействием с поставщиками и заказчиками на основе агентно-ориентированного подхода и диалоговых логик
• Машинный семантический анализ русского языка и его применения
• Текстурная визуализация векторных полей с использованием возможностей графического оборудования
• Методология проектирования прикладных адаптивных программных систем с использованием многоуровневой инструментальной среды
• Обоснование и разработка специализированной защищенной операционной системы класса UNIX
• Разработка методов представления и обработки естественного языка для проблемно-ориентированных систем автоматического понимания речи
• Исследование и разработка инструментальной системы программирования ParJava для параллельных вычислительных систем
• Приближения многомерных функций в задачах автоматизации проектирования, управления и математической физики