Generating Maude formal specifications from AUML diagrams.

Farid Mokhati Noura Boudiaf Linda Badri Mourad Badri

Published in: J. Comput. Methods Sci. Eng. (2006)

Keyphrases

formal specification
model checking
specification language
specification languages
object oriented design
formal methods
process algebra
concurrent systems
reverse engineering
design methodology
software components
databases
knowledge representation