Generating Maude Specifications From UML Use Case Diagrams.

Farid Mokhati Mourad Badri

Published in: J. Object Technol. (2009)

Keyphrases

class diagram
class diagrams
uml class diagrams
object oriented
unified modeling language
sequence diagrams
activity diagrams
requirements analysis
formal specification
operational semantics
reverse engineering
goal oriented
uml diagrams
uml models