Verifying Static Aspects of UML models using Prolog (S).

Feng Sheng Huibiao Zhu Zongyuan Yang Jiaqi Yin Gang Lu

Published in: SEKE (2019)

Keyphrases

uml models
object oriented
expert systems
database
knowledge representation
knowledge base
logic programming
artificial intelligence
case study
data structure
logic programs
model checking
constraint logic programming
prolog programs