Методы реализации автоматных объектно-ориентированных программ


PDF просмотр
НазваниеМетоды реализации автоматных объектно-ориентированных программ
СТЕПАНОВ Олег Георгиевич
Дата конвертации21.08.2012
Размер86,61 Kb.
ТипАвтореферат
СпециальностьС диссертацией можно ознакомиться в библиотеке СПбГУ ИТМО.
Год2009
На соискание ученой степениКандидат технических наук

Описание:
Цель работы: Целью  диссертационной  работы  является  создание  методов  реализации 

Чтобы увидеть текст работы нажмите на ссылку "Предварительный просмотр"
Предварительный просмотр
PDF просмотр

Похожие:

Методы реализации автоматных объектно-ориентированных программ iconМетоды реализации автоматных объектно-ориентированных программ
Оглавление
Методы реализации автоматных объектно-ориентированных программ iconМетоды реализации автоматных объектно-ориентированных программ
России с 1991 года разрабатывается концепция автоматного программирования
Методы реализации автоматных объектно-ориентированных программ iconТехнология проектирования и реализации объектно- ориентированных программ с явным выделением состояний (метод, инструментальное средство, верификация)
Защита диссертации состоится «22» октября 2008 года в 14 часов на заседании
Методы реализации автоматных объектно-ориентированных программ iconСпециализация программ на объектно-ориентированных языках методом частичных вычислений
Специальность 05. 13. 11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Методы реализации автоматных объектно-ориентированных программ iconМетоды моделирования объектно-ориентированных данных средствами дескриптивных логик
Институт проблем управления им. В. А. Трапезникова ран защита состоится 16 апреля 2010 г в 14 часов 00 минут на заседании диссер
Методы реализации автоматных объектно-ориентированных программ iconМетоды объектно ориентированного проектирования и реализации программного обеспечения реактивных систем

Методы реализации автоматных объектно-ориентированных программ iconМетоды объектно ориентированного проектирования и реализации программного обеспечения реактивных систем
Работа выполнена в Санкт-Петербургском государственном университете информационных технологий, механики и оптики
Методы реализации автоматных объектно-ориентированных программ iconВерификация автоматных программ в контексте синхронного программирования

Методы реализации автоматных объектно-ориентированных программ iconМатематические модели, численные методы и комплекс проблемно-ориентированных программ анализа усилителей магнетронного типа цилиндрической конструкции
Научные руководители доктор физико-математических наук, профессор Байбурин Вил Бариевич
Методы реализации автоматных объектно-ориентированных программ iconМетодика проверки наличия возможности несанкционированного доступа в объектно- ориентированных системах
Защита состоится 15. 05. 2012 на заседании диссертационного совета д 212. 227. 05 в
Разместите кнопку на своём сайте:
поделись


База данных защищена авторским правом ©dis.podelise.ru 2012
обратиться к администрации
АвтоРефераты
Главная страница