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

Pubblicazioni di ateneo

Found 3 results
Author Titolo [ Tipo(Desc)] Anno
Filters: Author is Marta Cimitile  [Clear All Filters]
Conference Paper
Bernardi, M. Luca, M. Cimitile, G. De Ruvo, G.A.. Di Lucca, and A. Santone, "Improving Design Patterns Finder Precision Using a Model Checking Approach", Proceedings of the CAiSE 2015 Forum at the 27th International Conference on Advanced Information Systems Engineering co-located with 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), Stockholm, Sweden, June 10th, pp. 113–120, 2015.
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.
Journal Article
Bernardi, M. Luca, M. Cimitile, G. De Ruvo, G.A.. Di Lucca, and A. Santone, "Integrating model driven and model checking to mine design patterns", Communications in Computer and Information Science, vol. 586, pp. 99-117, 2016.