A Probabilistic Extension of UML Statecharts.
David N. JansenHolger HermannsJoost-Pieter KatoenPublished in: FTRTFT (2002)
Keyphrases
- class diagrams
- sequence diagrams
- conceptual modeling
- uml models
- object oriented
- regression testing
- formal methods
- uml class diagrams
- bayesian networks
- probabilistic logic
- software engineering
- reverse engineering
- posterior probability
- conceptual models
- software development
- class diagram
- knowledge base
- metamodel
- software maintenance
- modeling language
- model checking
- database design
- petri net
- generative model
- knowledge based systems