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)


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.


  1. "Information Systems" Department, Saint-Petersburg State Institute of Fine Mechanics and Optics
  2. Terrarium Home
  3. Other species