More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models.
Nils PrzigodaPhilipp NiemannJudith PetersFrank HilkenRobert WilleRolf DrechslerPublished in: MEMOCODE (2017)
Keyphrases
- metamodel
- tool support
- uml class diagrams
- statistical models
- uml models
- database
- formal methods
- artificial intelligence
- object oriented
- model driven
- conceptual models
- modelling language
- parameter estimation
- semi automatic
- knowledge management
- modeling language
- probabilistic model
- bayesian networks
- knowledge base
- class diagrams