A Systematic Approach to Transform OMT Diagrams to a B Specification.

Eric Meyer Jeanine Souquières

Published in: World Congress on Formal Methods (1999)

Keyphrases

uml diagrams
formal specification
high level
specification language
sequence diagrams
image processing
real time
machine learning
artificial intelligence
knowledge base
bayesian networks
graphical representation
formal verification