Applying ASP to UML Model Validation

Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano. Applying ASP to UML Model Validation. In Esra Erdem, Fangzhen Lin, Torsten Schaub, editors, Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Volume 5753 of Lecture Notes in Computer Science, pages 457-463, Springer, 2009. [doi]

Authors

Mario Ornaghi

This author has not been identified. Look up 'Mario Ornaghi' in Google

Camillo Fiorentini

This author has not been identified. Look up 'Camillo Fiorentini' in Google

Alberto Momigliano

This author has not been identified. Look up 'Alberto Momigliano' in Google

Francesco Pagano

This author has not been identified. Look up 'Francesco Pagano' in Google