MOCCI, ANDREA
MOCCI, ANDREA
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.023 secondi).
Automatic Cross Validation of Multiple Specifications: A Case Study
2010-01-01 Ghezzi, Carlo; Mocci, Andrea; Salvaneschi, Guido
Behavior Model Based Component Search: An Initial Assessment
2010-01-01 Ghezzi, Carlo; Mocci, Andrea
Behavioral validation of JFSL specifications through model synthesis
2012-01-01 Ghezzi, Carlo; Mocci, Andrea
Efficient Recovery of Algebraic Specifications for Stateful Components
2007-01-01 Ghezzi, Carlo; Mocci, Andrea; Monga, Mattia
Extracting structured data from natural language documents with island parsing
2011-01-01 A., Bacchelli; A., Cleve; M., Lanza; Mocci, Andrea
Runtime monitoring of component changes with Spy@Runtime
2012-01-01 Ghezzi, Carlo; Mocci, Andrea; Sangiorgio, Mario
Runtime Monitoring of Functional Component Changes with Behavior Models
2011-01-01 Ghezzi, Carlo; Mocci, Andrea; Sangiorgio, Mario
Synthesizing Intensional Behavior Models by Graph Transformation
2009-01-01 Ghezzi, Carlo; Mocci, Andrea; M., Monga
Using Graph Transformation Systems to Specify and Verify Data Abstractions
2008-01-01 Baresi, Luciano; Ghezzi, Carlo; Mocci, Andrea; Monga, Mattia