skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems

Bernardi, M. Luca, M. Cimitile, G. De Ruvo, G.A.. Di Lucca, and A. Santone, "Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems", {ICSOFT-PT} 2015 - Proceedings of the 10th International Conference on Software Paradigm Trends, Colmar, Alsace, France, 20-22 July, pp. 53–63, 2015.