Transforming Formal Specification Constructs into Diagrammatic Notations.

Kobamelo Moremedi John Andrew van der Poll

Published in: MEDI (2013)

Keyphrases

formal specification
model checking
object oriented design
specification languages
specification language
process algebra
reverse engineering
data abstraction
formal methods
concurrent systems
software components
temporal logic
modeling language
expert systems
software engineering