Pagina 1 di 1

LTSA per slackware

Inviato: gio 17 feb 2005, 17:38
da ag
ciao a tutti,
<BR>qualcuno conosce il software LTSA(labelled transition system analyzer)?
<BR>questo software gira su windows e permette di modellare sistemi concorrenti(non so se avete mai sentito parlare di programmazione concorrente in java)...
<BR>Sapete se esiste una versione installabile su slackware?
<BR>Non riesco proprio a trovarla!!
<BR>Grazie a tutti
<BR><br>

LTSA per slackware

Inviato: gio 17 feb 2005, 18:31
da Firetux
ciao, in questa pagina:
<BR><!-- BBCode Start --><A HREF="http://www-dse.doc.ic.ac.uk/concurrency ... index.html" TARGET="_blank">http://www-dse.doc.ic.ac.uk/concurrency ... ex.html</A><!-- BBCode End -->
<BR>trovi il link al download .zip in cui c´è l´ultima versione del programma in formato jar (che si può eseguire su tutte le piattaforme in cui è installata la java virtual machine)
<BR>...per eseguire il programma
<BR>java -jar nomedelprogramma.jar<br>

LTSA per slackware

Inviato: gio 17 feb 2005, 18:45
da ag
grazie,ma scusa un attimo..
<BR>il pacchetto j2sdk compreso nell´ installazione di slackware 10,e´ sufficiente a far girare ltsa?
<BR>oppure devo scaricare la java virtual machine a parte ?
<BR>ancora grazie mille
<BR><br>

LTSA per slackware

Inviato: gio 17 feb 2005, 19:07
da Firetux
va più che bene... la j2sdk è per lo sviluppo<br>

LTSA per slackware

Inviato: gio 17 feb 2005, 19:14
da ag
ok..grazie ancora firetux...alla prossima :-D <br>