Автоматизированная система оплаты мобильного телефона



© 2006 г. В. Р. Данилов, И. О. Варвалюк

Санкт-Петербургский государственный университет информационных технологий, механики и оптики

Проектная документация
Исполняемый код (интерпретационный подход)
Исполняемый код (компилятивный подход)
Исходные тексты

Аннотация

Работа служит примером применения автоматного подхода к решению задач управления технической системой. Преимущество методики заключается в наглядномом и естественном представлении логики системы.

Среда разработки Unimod значительно облегчает разработку приложения. Важно что при этом инструмент не позволяет генерировать программу по неполной или противоречивой спецификации, диагностируя ошибки и неточности на стадии проектирования.

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