Sfoglia per Autore
Mostrati risultati da 1 a 11 di 11
Efficient Recovery of Algebraic Specifications for Stateful Components
2007-01-01 Ghezzi, Carlo; Mocci, Andrea; Monga, Mattia
Using Graph Transformation Systems to Specify and Verify Data Abstractions
2008-01-01 Baresi, Luciano; Ghezzi, Carlo; Mocci, Andrea; Monga, Mattia
Synthesizing Intensional Behavior Models by Graph Transformation
2009-01-01 Ghezzi, Carlo; Mocci, Andrea; M., Monga
Behavior Model Based Component Search: An Initial Assessment
2010-01-01 Ghezzi, Carlo; Mocci, Andrea
Analytical quality assurance
2010-01-01 A., Metzger; S., Benbernou; M., Carro; M., Driss; G., Kecskemeti; R., Kazhamiakin; K., Krytikos; Mocci, Andrea; DI NITTO, Elisabetta; B., Wetzstein; F., Silvestri
Automatic Cross Validation of Multiple Specifications: A Case Study
2010-01-01 Ghezzi, Carlo; Mocci, Andrea; Salvaneschi, Guido
Runtime Monitoring of Functional Component Changes with Behavior Models
2011-01-01 Ghezzi, Carlo; Mocci, Andrea; Sangiorgio, Mario
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
Behavioral validation of JFSL specifications through model synthesis
2012-01-01 Ghezzi, Carlo; Mocci, Andrea
Detecting component changes at run time with behavior models
2012-01-01 Mocci, Andrea; Sangiorgio, Mario
Mostrati risultati da 1 a 11 di 11
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile