Generating Maude Specifications From UML Use Case Diagrams.
Journal of Object Technology - Switzerland
doi 10.5381/jot.2009.8.2.a2
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 2009
Authors
Publisher
AITO - Association Internationale pour les Technologies Objets