Integrating Model Driven and Model Checking to Mine Design Patterns

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]

Abstract

Abstract is missing.