Login / Signup
Verifying the Consistency of UML Models.
Damiano Torre
Published in:
ISSRE Workshops (2016)
Keyphrases
</>
uml models
object oriented
sequence diagrams
test cases
model checking
written in natural language
databases
artificial intelligence
case study
multi agent systems
relational databases
knowledge representation