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.
- 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.
- UniMod - rapid development environment for ABP. Interactive model validation, model execution in-one-click, model visual debugger, remote model debugger, model compilation.
- 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.
