Ви є тут

Технология проектирования и реализации объектно-ориентированных программ с явным выделением состояний (метод, инструментальное средство, верификация)

Автор: 

Гуров Вадим Сергеевич

Тип роботи: 

диссертация кандидата технических наук

Рік: 

2008

Кількість сторінок: 

113

Артикул:

14742

179 грн

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

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

• Автоматическая генерация и исполнение программ по спецификациям на языке SDL
• Разработка алгоритмов прямого синтеза аппроксимирующих искусственных нейронных сетей
• автореф Разработка сред пользовательских интерфейсов нового поколения с применением аспектно-ориентированного программирования
• Программное инструментальное средство для разработки систем поддержки принятия решений на основе лингвистических моделей
• Архитектуры и методы проектирования мигрирующих систем
• Приближенные методы решения задачи Штейнера на ориентированных графах
• Математическое и программное обеспечение средств верификации программ микроконтроллерных устройств
• Модели и методы интеграции структурированных текстовых описаний на основе онтологий
• Методы проектирования и средства реализации функционально-масштабируемых проблемно-ориентированных программных систем
• Архитектура и методика реализации специализированных программных систем подбора персонала