ITMO University
“Programming Technologies” Department



Главная

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

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

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

English
 Home

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


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

Яndex



    / Projects / Carnivore control system for "Terrarium" (версия для печати)


Carnivore control system for "Terrarium"



(C) 2003 S.Markov, A.Shalyto

Saint-Petersburg State Institute of Fine Mechanics and Optics (Technical University)

From here it is possible to download the full text of documentation in Russian in a PDF-format (320 Kb)
Source texts (4 Kb)

Annotation

In this work we consider applying automate programming [1] to develop carnivore species in Terrarium [2]. By applying automate programming we were able to develop simple, yet powerful species.

Automate programming enabled us to centralize program logic and thus simplified programming and debugging. By using this method, we shortened time to find errors in program logic, because we were instantly able to find all irregularities between real and suggested behavior.

Although there are different species in Internet[3], they all don't have good description and project documentation. This project can be considered first species with formal specification and full documentation.

References

  1. "Information Systems" Department, Saint-Petersburg State Institute of Fine Mechanics and Optics
    http://is.ifmo.ru
  2. Terrarium Home
    http://www.windowsforms.net/Terrarium
  3. Other species
    http://www.windowsforms.net/Forums/ShowForum.aspx?tabIndex=1&tabId=41&ForumID=13



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