Sciweavers

LPNMR
2009
Springer
14 years 7 months ago
Applying ASP to UML Model Validation
We apply ASP to model validation in a CASE setting, where models are UML class diagrams and object diagrams are called “snapshots”. We present the design and implementation of ...
Mario Ornaghi, Camillo Fiorentini, Alberto Momigli...