Linguaggi e Modelli Computazionali L-M 2009/2010

Principale

Software

Laboratorio

Orario

Progetti

Home Software Lab Sessions 

Maude

Framework for system modelling based on rewriting logic.

• Download link: http://maude.cs.uiuc.edu/

tuProlog

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

• Download link: 2P.jar
• API: JavaDoc
• User's Guide: pdf

JDK 6.0

Java Development Kit for developing Java applications.

• Download link: (JDK 6.0 Update 16): http://java.sun.com/javase/downloads/index.jsp

Java (v. 6) API

Application Program Interface of the JDK.

• Download link: JavaDoc 6

Eclipse

Integrated developed environment adopted for the course.

• Download link: http://www.eclipse.org/downloads/

PRISM

Framework for probabilistic model checking.

• Download link: http://www.prismmodelchecker.org/download.php

SPiM

Framework for simulating stochastic systems modeled by Stochastic Pi-Calculus.

• Download link: http://research.microsoft.com/en-us/projects/spim/

---