Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude.

Jos Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo

Browse the full SLE paper archive.