Automatic Generation of Functional Mock-Up Units from Formal Specifications.

Maurizio Palmieri Hugo Daniel Macedo

Published in: SEFM Workshops (2019)

Keyphrases

formal specification
object oriented design
specification language
model checking
specification languages
reverse engineering
formal methods
automatically generate
design methodology
process algebra
concurrent systems
formal specification language
real world
fine grained
business rules
protocol specification