Tutorial on Automata Based Programming (ABP)

In conjunction with The International Computer Science Symposium we are going to organize a tutorial on new software engineering technology called Automata Based Programming.

During tutorial theoretical basis of ABP will be introduced. Tools for ABP will be shown. Real-world use cases of application of ABP will be demonstrated.

Implementation of Executable UML in terms of ABP will be shown also.

We invite to take part in the event and to give feedback on this newly proposed programming technology people from both academy and industry.

1. Theoretical basis of Automata Based Programming. Main concepts and principles: state, state machine, state machines interaction, UML Class diagram + UML Statechart = Executable UML model, model operational semantics, model and verification.
   
2. UniMod - rapid development environment for ABP. Interactive model validation, model execution in-one-click, model visual debugger, remote model debugger, model compilation.
   
3. Applying Automata Based Programming using UniMod for real-world application development:, distributed applications, games, parsers.

Invited Speakers

N. N. Nepeyvoda, UDMURTIA STATE UNIVERSITY.

Organization

The tutorial organizers are: St.Petersburg State University of Information Technologies, Mechanics and Optics (http://www.ifmo.ru/eng/), eVelopers Corp (www.evelopers.com).
Contact person: Vadim Gurov (Senior Software Developer at eVelopers, Corp.)

Registration

To register for the tutorial send email to Vadim Gurov. Use this email for any tutorial related question. IF YOU ARE UNCERTAIN, PLEASE SEND A "Tentative registration" e-mail as soon as possible.

Dates

The tutorial will be held during a half of the day on June 12.

Registration fee

There will be a small registration fee.

If you plan to attend the main conference, please check its web page http://logic.pdmi.ras.ru/~csr2006/) for conference registration fees as well.