• About
  The goal of this project is to develop an automated (or as close to it) Java code generator that translates source specifications in Timed Input/Output Automata notation into executable Java code. This project builds on the work and software developped by VeroModo, Inc. and in an essence it is a plug-in into their TEMPO toolset.

• Relevent Documentation
  • TIOA language
  • VeroModo, Inc.
  • IOA Toolset

• Download the plugin
  • TIOA2Java jar file (Jan., 2010)

• Documentation
  • Please see VeroModo, Inc. web-page for documentation and instructions on how to obtain the front-end and how to configure it with the new plug-in.
  • If you have any questions, then please contact me directly. Note that this project is in its very early stage, and it is evolving on daily basis.