Login / Signup
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