Dynamic Validation of Maude Prototypes of UML Models

Francisco Durán, Manuel Roldán, Antonio Moreno, José María Álvarez. Dynamic Validation of Maude Prototypes of UML Models. In Shusaku Iida, José Meseguer, Kazuhiro Ogata, editors, Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi. Volume 8373 of Lecture Notes in Computer Science, pages 212-228, Springer, 2014. [doi]

Abstract

Abstract is missing.