Date: 25-02-2000
Time: 10,15
Place: Aula 214

Speaker: Roberto Degli'Innocenti
Title: Analisi di linguaggi di specifica standard per modellare sistemi ad agenti

Abstract. Verra' fornita una panoramica sulla possibilita' di utilizzare linguaggi di specifica "standard" (LOTOS, ObjectZ, CafeObj, SMoLCS, UML) per specificare sistemi multi-agente (MAS).