Generating Maude formal specifications from AUML diagrams

Journal of Computational Methods in Sciences and Engineering 2007 / 04 Vol. 6; Iss. s1

Generating Maude formal specifications from AUML diagrams

Mokhati, Farid, Boudiaf, Noura, Badri, Linda, Badri, Mourad, Debnath, Narayan C.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
6
Language:
english
Journal:
Journal of Computational Methods in Sciences and Engineering
DOI:
10.3233/JCM-2006-6S107
Date:
April, 2007
File:
PDF, 139 KB
english, 2007
Conversion to is in progress
Conversion to is failed