Integrating Model Driven and Model Checking to Mine Design Patterns - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone. Integrating Model Driven and Model Checking to Mine Design Patterns. In Pascal Lorenz, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen, editors, Software Technologies - 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. Volume 586 of Communications in Computer and Information Science, pages 99-117, Springer, 2015. [doi]

This author has not been identified. Look up 'Mario Luca Bernardi' in GoogleThis author has not been identified. Look up 'Marta Cimitile' in GoogleThis author has not been identified. Look up 'Giuseppe De Ruvo' in GoogleThis author has not been identified. It may be one of the following persons:

Giuseppe A. Di Lucca

Look up 'Giuseppe A. Di Lucca' in GoogleThis author has not been identified. Look up 'Antonella Santone' in Google

runs on WebDSL