XAL
Per scaricare l'interprete e il plug-in è necessario essere
registrati.
DocumentiData di inserimento
Tool per progettare automi alla base di applicazioni XAL. Realizzato in java non dipende da Eclipse. Attenzione: per scaricare il file, occorre essere utenti registrati del sito.
Plug-in per Eclipse (v. >= 3.4) che consente di realizzare l'automa graficamente.
Questo plug-in necessita delle librerie Draw2D, GEF, Zest http://www.eclipse.org/gef/downloads/. Attenzione: per scaricare il file, occorre essere utenti registrati del sito.