Modular Reasoning for Actor Specification Diagrams.
Scott F. SmithCarolyn L. TalcottPublished in: FMOODS (1999)
Keyphrases
- graphical representation
- uml class diagrams
- uml diagrams
- knowledge base
- spatial reasoning
- formal specification
- meta level
- knowledge representation
- reasoning process
- specification language
- graphical representations
- knowledge based systems
- user defined
- causal reasoning
- derivation rules
- bayesian networks
- high level
- diagrammatic reasoning
- highly modular
- hand drawn
- model based reasoning
- automated reasoning
- software development