ingegneria del software, materiale disponibile:

  • Progettazione e Sviluppo di un Web-based Help Desk Ticketing System

    Autore: Giovanni Pace

    Abstract: Progettazione e realizzazione di un applicativo gestionale su piattaforma Web per la pianificazione, gestione e consultazione delle mansioni svolte nei vari settori dell'azienda. In particolare si rivolge una particolare attenzione alla gestione di risorse Hardware e Software, gestione sicura di dati sensibili ed in fine uno studio sul come l'applicativo garantisca un guadagno temporale (e monetario) per la consultazione di dati digitalizzati, sostituendosi alla visione "analogica" cartacea »

  • Un linguaggio per la rappresentazione formale di vincoli su scenari d'uso

    Autore: Maxim Postoronca

    Abstract: Lo scopo della mia tesi è di aggiungere alle metodologie di ingegneria del software il supporto per i vincoli OCL (Object Constraint Language) . L’ingegneria del software ha diversi processi di sviluppo e quasi tutti utilizzano i vincoli OCL. Gli strumenti attuali sul mercato cercano di aiutare i sviluppatori fornendo un ambiente integrato con tutto quello che li può servire per sviluppare. Il grosso del lavoro viene comunque fatto manualmente ed è prono ad errori. Grazie alla metodologia SMDP »

  • Reingegnerizzazione del processo di test nel contesto Exprivia

    Autore: Michele Totaro

    Abstract: Il progetto di ricerca intende definire un processo di test flessibile che riesca a ridurre i costi e automatizzare il processo di test per applicazioni web di dimensioni medio – piccole. La ricerca si articola su quattro macro – obiettivi strettamente integrati: 1. Analisi dei processi di test disponibili in letteratura; 2. Definizione di un processo di test da utilizzare; 3. Individuazione di strumenti a supporto del processo di test disponibili attualmente sul mercato che soddisfino »

  • Un ambiente avanzato per la progettazione ed implementazione dei Transparent Fuzzy Systems

    Autore: Raffaele Ricciardi

    Abstract: Nell’arco degli ultimi anni i sistemi fuzzy hanno assunto un ruolo sempre più importante sfruttando le potenzialità offerte dalla logica e dagli insiemi fuzzy. Questi sistemi sono in grado di sintetizzare modelli matematici tramite dei termini simbolici che li rendono di facile comprensione e progettazione. Attualmente è possibile trovare sistemi fuzzy in moltissime applicazioni che spaziano dal controllo di impianti industriali all’interpretazione delle immagini, dall’elaborazione dei »

  • Metodi e tecniche per la persistenza di oggetti in presenza di processi di sviluppo e architetture software a tre livelli. Note, confronti, esempi, applicazioni.

    Autore: Marco Marsala

    Abstract: I requisiti di persistenza di un sistema software progettato ad oggetti vengono soddisfatti in tutte le fasi di un classico processo di sviluppo a cascata. In particolare, il modello a oggetti del dominio prodotto in sede di specifica dei requisiti è il punto di partenza per il soddisfacimento dei requisiti di persistenza a livello di progettazione. Adottando per il sistema una classica architettura a tre livelli di astrazione senza incapsulamento, il design platform-independent propone - con »

  • Progettazione e Realizzazione CMS Con Metodologia WEBML

    Autore: Gianluca Trovato

    Abstract: La tesi si propone progettare, implementare e documentare un’applicazione Web di tipo CMS (Content Management System) realizzata con metodologie WebML (Web Modelling Language) definendone requisiti e specifiche. La realizzazione del progetto verrà condotta seguendo un rigoroso processo ingegneristico adatto alle applicazioni Web. »

  • Tecniche e Strumenti per la Validazione di Codice Java: un Esempio Applicativo

    Autore: Omar Nabil

    Abstract: Questa tesi ha lo scopo di introdurre strumenti e tecniche di validazione alla piattaforma SINPL (implementata in Java) ed è suddivisa in: 1- introduzione del concetto di validazione del codice, e dei termini legati a questo concetto. 2- descrizione delle tecniche e gli strumenti individuati per raggiungere lo scopo di questa tesi. 3- descrizione dei file e delle cartelle introdotte alla piattaforma SINPL per permettere l'utilizzo degli strumenti. 4- una procedura generale per scrivere, »

  • GISMaP: Progettazione e sviluppo di un sistema multimodale per dispositivi mobili

    Autore: Pasquale Congiustì

    Abstract: "GIS Map Prototipe" è un sottosistema client/server di un generico sistema che consenta l’uso di comandi multimodali su un dispositivo mobile, con particolare attenzione ai dispositivi PDA, consentendo il recupero di mappe GIS in base alla localizzazione GPS e la visualizzazione di punti di interesse in prossimità dell’utente. La tecnologia client usata è stata J2ME, profilo MIDP2.0 (utilizzate anche le tecnologie bluetooth, gps, parsing xml). Lato server è stato utilizzato il progetto »

  • Metodologie per la progettazione di software orientato agli agenti

    Autore: Marco Vita

    Abstract: L'ingegneria del software [6] è una disciplina assai giovane in confronto ad altre quali l'ingegneria civile, ambientale, telecomunicazioni; solo verso la fine degli anni '60 (1969) si capì che descrivere in modo rigoroso poggiandosi su basi teoriche era condizione necessaria (ma non sufficiente!) per poter sviluppare sistemi software soddisfacenti le richieste sempre più pressanti dell'ambiente universitario e di ricerca prima, industriale-commerciale poi. Volendo ricostruire »

  • Boundary Values Software Testing per dati appartenenti ad uno Spazio Metrico

    Autore: Salvatore Vasta

    Abstract: L’uso di tecniche di Structural Coverage per il software testing è stato approfonditamente studiato da diversi anni e può ormai ritenersi giunto a una maturità che ha consentito l’integrazione in compilatori commerciali di strumenti di supporto allo sviluppo che utilizzano tali tecniche. Una limitazione di questo approccio consiste nel fatto che questo è sensibile al tipo di struttura dati esaminata, ma risulta insensibile ai valori delle varibili che queste strutture dati assumono a runtime. »