Biblioteca

Autore: BAZZANELLA CINZIA
Titolo: SPERIMENTAZIONE E VALUTAZIONE DI UN APPROCCIO ALLA PRIORITIZZAZIONE DEI REQUISITI BASATO SU APPRENDIMENTO AUTOMATICO
Relatore: PISTORE MARCO
Correlatore: PERINI ANNA
Controrelatore: BLANZIERI ENRICO
Anno accademico: 2002/2003
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC26
Richiedi la consultazione

Autore: BERGAMO FEDERICO
Titolo: PROGETTAZIONE E SVILUPPO DI METODI DI INTERFACCIAMENTO CON SISTEMI DI FILE STORAGE
Relatore: DE ANGELI ANTONELLA
Correlatore: PISTORE MARCO
Anno accademico: 2013/2014
Corso: Corso di Laurea - Informatica [0514G]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0514G-139
Richiedi la consultazione

Autore: CUSENZA ELENA
Titolo: COMPOSIZIONE AUTOMATICA DI SERVIZI WEB SEMANTICI BASATA SU OWL-S ESEGUIBILE
Relatore: PISTORE MARCO
Controrelatore: MARCHESE MAURIZIO
Anno accademico: 2004/2005
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC109
Richiedi la consultazione

Autore: DI LORENZO EDOARDO
Titolo: DEFINIZIONE E REALIZZAZIONE DI UN MODELLO ARCHITETTURALE PER LA GESTIONE DELLA TRANSAZIONALITÀ IN PROCESSI DI BUSINESS DISTRIBUITI
Relatore: PISTORE MARCO
Controrelatore: RONCHETTI MARCO
Anno accademico: 2004/2005
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QN9
Richiedi la consultazione

Autore: FONTANA CLAUDIO
Titolo: UN FRAMEWORK PER LA VALUTAZIONE DI ALGORITMI DI MAPPING TRA TASSONOMIE
Relatore: PISTORE MARCO
Anno accademico: 2003/2004
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC67
Richiedi la consultazione

Autore: GUERRIERO MARIA LUISA
Titolo: MODELLI FORMALI PER LA RAPPRESENTAZIONE DI SISTEMI BIOLOGICI DINAMICI.
Relatore: PRIAMI CORRADO
Correlatore: QUAGLIA PAOLA
Controrelatore: PISTORE MARCO
Anno accademico: 2003/2004
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QN1
Richiedi la consultazione

Autore: MATTIOLI ANDREA
Titolo: PIANIFICAZIONE PER GOAL ESTESI: CONTROLLO DI AGENTI CAPACI DI OPERARE IN MODALITÀ MULTIPLE.
Relatore: PISTORE MARCO
Controrelatore: AIELLO MARCO
Anno accademico: 2002/2003
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC31
Richiedi la consultazione

Autore: POJER ANTONELLA
Titolo: TRASFORMAZIONE AUTOMATICA DI SPECIFICHE DI SISTEMA: UN CASO DI STUDIO SU TROPOS E UML
Relatore: PISTORE MARCO
Correlatore: PERINI ANNA
Correlatore: SUSI ANGELO
Anno accademico: 2003/2004
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC70
Richiedi la consultazione

Autore: SANTUARI LUCA
Titolo: IMPLEMENTAZIONE E VALUTAZIONE DI UN MODELLO DI COMUNICAZIONE PER LA VERIFICA DELLA COMPOSIZIONE DI SISTEMI.
Relatore: PISTORE MARCO
Anno accademico: 2004/2005
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC89
Richiedi la consultazione

Autore: STROBBE MICHELA
Titolo: INTEGRAZIONE DI TECNICHE PER LA VERIFICA AUTOMATICA DI SPECIFICHE IN UN CASE TOOL
Relatore: PISTORE MARCO
Correlatore: PERINI ANNA
Anno accademico: 2002/2003
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC32
Richiedi la consultazione

Autore: TAMBOSI LINDA
Titolo: MONITORAGGIO DI INCIDENTI DOMESTICI: UN SISTEMA GUIDATO DA REGOLE PER L'INTEGRAZIONE DI DATI MULTI-SENSORIALI.
Relatore: PISTORE MARCO
Anno accademico: 2003/2004
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC53
Richiedi la consultazione

Autore: VILLA NICOLA
Titolo: SVILUPPO DI UN TOOL PER LA MODELLAZIONE VISUALE CON LA METODOLOGIA TROPOS.
Relatore: PISTORE MARCO
Correlatore: PERINI ANNA
Correlatore: SUSI ANGELO
Anno accademico: 2003/2004
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC47
Richiedi la consultazione

Autore: WINKLER SILVIA
Titolo: RAPPRESENTAZIONE E MEMORIZZAZIONE DI TESTI GIURIDICI CON XML.
Relatore: PISTORE MARCO
Anno accademico: 2002/2003
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC24