ITMO University
“Programming Technologies” Department



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



    / UniMod Projects / Ticket Vending Machine Modeling (версия для печати)


Ticket Vending Machine Modeling



Ticket Vending Machine Modeling



© D.I. Kulagin, A.V. Suslov

Saint-Petersburg State University of Information Technologies, Mechanics and Optics

Project documentation
Executable files
Source code

Annotaion

The project demonstrates a model of ticket vending machine. It was created using automata based programming approach.

Common approach of creating applications implies constant addition of new code. Unfortunately, such a technique has several disadvantages. The main issue is lack of the program designing state. On the other hand, automata approach gives an opportunity to developer to concentrate on designing the application. Current project shows, that automata approach is good for designing and development of automatic devices, that serve people in day-to-day activity. Distinct stage separation makes logic of application more clear for understanding. Hence, debugging stage of application development is minimized.

Project was created using UniMod tool, integrated in Eclipse IDE.


© 2002—2017 По техническим вопросам сайта: vl.ulyantsev@gmail.com