Applying ASP to UML Model Validation.

Mario Ornaghi Camillo Fiorentini Alberto Momigliano Francesco Pagano

Published in: LPNMR (2009)

Keyphrases

model validation
answer set programming
web applications
software systems
database design
data sets
databases
object oriented
software engineering
data mining
software development
modeling language
requirements engineering
specification language
model driven engineering
uml models