10 citations · 10 across the 3 of their papers we have counts for
3 papers · 1 filter
Tracing Properties of UML and OCL Models with Maude
Francisco Durán, Martin Gogolla, Manuel Roldán
The starting point of this paper is a system described in form of a UML class diagram where system states are characterized by OCL invariants and system transitions are defined by…
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies
Francisco Durán, Peter Csaba Ölveczky, José E. Rivera
e-Motions is an Eclipse-based visual timed model transformation framework with a Real-Time Maude semantics that supports the usual Maude formal analysis methods, including simulati…
Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering
Francisco Durán, Vlad Rusu
Over the past years there has been quite a lot of activity in the algebraic community about using algebraic methods for providing support to model-driven software engineering. The…