Formulating Model Verification Tasks Prover-Independently as UML Diagrams.

Martin Gogolla Frank Hilken Philipp Niemann Robert Wille

Published in: ECMFA (2017)

Keyphrases

conceptual model
artificial intelligence
high level
management system
databases
database systems