PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Sulova A. Studio ed implementazione di un algoritmo per generare i prodotti validi in Product Family Engineering.
 
 
Abstract
(English)
This work is a Master Thesis conducted at the ISTI FMT Laboratory of CNR in Pisa. It report an activity conducted in the fields of Product Family Engineering (PFE) and Model Checking. In particulal an algorithm is presented for the generation of valid products of a family. Such algorithm in than integrated inside the FMC formal verification framework to allow the verification of both generic family properties and properties related to specific products.
Abstract
(Italiano)
Questo lavoro di tesi si colloca all'interno dell'attivitą di ricerca svolta presso il gruppo di metodi formali dell'ISTI al CNR di Pisa. I temi principali sono la Product Family Engineering (PFE) ed il Model Checking. In particolare viene presentato un algoritmo che genera i prodotti validi a partire da un modello astratto di una famiglia di prodotti. Tale algoritmo e' stato poi intergrato con in model checker FMC per la verifica di proprieta' sia comuni a tutta la famiglia di prodotti sia di specifici prodotti validi.
URL: http://fmt.isti.cnr.it/WEBPAPER/TesiALDI.pdf
Subject Tesi di Laurea
Software Engineering
D.2 SOFTWARE ENGINEERING
03-XX Mathematical logic and foundations


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional