Linguaggi e Modelli Computazionali L-M 2010/2011

    Principale     Novità     Software     Laboratorio     Orario     Progetti     Esami

Home Software Lab Sessions 

Software



Maude

Framework for system modelling based on rewriting logic.

Latest version: 2.5 (Core Maude)


tuProlog

Java-based Prolog engine that will be adopted throughout the course.


JDK 6.0

Java Development Kit for developing Java applications.


Java (v. 6) API

Application Program Interface of the JDK.


Eclipse

Integrated developed environment adopted for the course.

Latest version: 3.6.1


PRISM

Framework for probabilistic model checking.

Latest version: 3.3.1




software / pagine dei corsi
serie di corsi