1. Latest
(Category - Italian - Italy)

Le ultime notizie dal Team Joomla! ...

2. XAL Designer Tool - Design your automaton graphically
(Notizie/Latest - English (United Kingdom))

... change directory where you have just extracted the source files. In order to compile them and run the tool for the first time, run the following command: antIt will read the instructions for building the ...

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

... the identifier of the session (session_id()) the time of the request (given by microtime() function) The names of the variables with which each above mentioned value is associated are defined by appropriate ...

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

... tools the creation of a good interface which helps the programmer handle complex automaton showing each time only useful information. To this end we have started developing an Eclipse plugin which, ...

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

In this section we informally test the application. The test is about "jumping" through a series of states using specific time intervals: in this way we can practically observe that some "decisions" really ...

6. Design
(Documentation/Tutorial - English (United Kingdom))

... within 15 days (the order has been properly completed) order completed after 15 days (the order is classified as cancelled because of time limit exceeded) SuspendLineActivation: the order processing ...

7. Who we are
('Uncategorised Content')

... events more productively than other common procedural languages. The heart of the framework is a language based on timed-automata theory. The adavantages compare with existent frameworks are: high-speed ...

8. XAL Designer Tool - Crea graficamente il tuo automa
(Notizie/Ultime)

... estratto lo XAL Designer Tool, ed eseguite il comando: java -jar build/XALTool.jarBuon divertimento con XAL      ...

9. Clienti
(Notizie/Partner&Clienti)

... offerti. Gruppo Consiag http://www.consiag.it/ Infracom http://www.infracom.it/ Teanet Reti Multimediali http://www.teanetmantova.it/    ...

10. Sviluppo
(Documentazione/Tutorial)

... della sessione (session_id()) il tempo della richiesta (ottenuto con la funzione microtime()) I nomi delle variabili con cui questi valori vengono "passati" sono definiti per mezzo di opportune costanti ...

11. Who we are
('Uncategorised Content')

... una maniera più produttiva rispetto ai linguaggi di sviluppo procedurali tradizionale. Il cuore del framework è un linguaggio basato sulla teoria dei timed-automata. I vantaggi rispetto a framework ...

12. Latest
(Category)

Le ultime notizie dal Team Joomla! ...