© 2006 г. В. Р. Данилов, И. О. Варвалюк
Санкт-Петербургский государственный университет информационных технологий, механики и оптики
Проектная документация
Исполняемый код (интерпретационный подход)
Исполняемый код (компилятивный подход)
Исходные тексты
Работа служит примером применения автоматного подхода к решению задач управления технической системой. Преимущество методики заключается в наглядномом и естественном представлении логики системы.
Среда разработки Unimod значительно облегчает разработку приложения. Важно что при этом инструмент не позволяет генерировать программу по неполной или противоречивой спецификации, диагностируя ошибки и неточности на стадии проектирования.
Как запустить программу? Необходимо скачать и распаковать архив с исполняемой программой. После этого запустить файл run.bat. Как открыть проект в Eclipse? Необходимо в среде разработки Eclipse выбрать пункт меню "File/Import:" ("Файл/Импорт:"), а в открывшемся диалоге мастера - пункт "Existing Project into Workspace" ("Существующий проект в рабочую область") и нажать кнопку "Next >" ("Далее >"). В окне выбора папки с файлами проекта необходимо указать ту папку, в которую распакован архив с проектом.