1. XALDoc demo
(Notizie/Latest - English (United Kingdom))

... the class name you can browse its method signatures. If you click on a method signature you can see the related XAL automaton (if it belongs to the source code which has been analyzed).  Note: each ...

2. XAL Designer Tool e XAL Interpreter: updates
(Notizie/Latest - English (United Kingdom))

You can now download two updated versions of XAL Designer Tool and the XAL Interpreter where some minor bugs have been fixed. You can download the updated version in the Download area.

3. Development
(Documentation/Tutorial - English (United Kingdom))

... action functions. In test/DeliveryWeb.lib.php we created two methods for each state: the metric function called <state_name> + Metric and the action function called <state_name> + Page (for ...

4. Test
(Documentation/Tutorial - English (United Kingdom))

... section shows the current state name, the automaton variables status, static information related to the temporal variables the automaton has been initialized with, static information related to the states ...

5. Aggiornamenti XAL Designer Tool e XAL Interpreter
(Notizie/Ultime)

Sono disponibili due versioni aggiornate di XAL Designer Tool e XAL Interpreter, in cui sono stati corretti alcuni errori e reciproche "incompatibilita`". Potete scaricare la versione aggiornata dall'area ...

6. Sviluppo
(Documentazione/Tutorial)

... traduce in una nuova richiesta di tipo GET o POST, rispettivamente. Entrambi i metodi si occupano di passare alcune informazioni sulla sessione corrente: il nome della sessione (session_name()) l'identificativo ...

7. Test
(Documentazione/Tutorial)

Proviamo a testare il funzionamento dell'applicazione in modo informale. Eseguiremo questi test simulando l'"attraversamento" di una serie di stati con precisi intervalli temporali, per verificare la (eventuale) ...