Dynamic graphical UML views from formal B specifications.

Akram Idani Yves Ledru

Published in: Inf. Softw. Technol. (2006)

Keyphrases

specification language
requirements specification
formal methods
database design
formal specification
high level
object oriented
dynamic environments
formal language
modeling language
written in natural language
unified modeling language
reactive systems
databases
viewpoint
artificial intelligence
neural network