247 citations
- Universidad de ZaragozaES8 papers
- Universidad de GranadaES3 papers
- University of SaskatchewanCA3 papers
- Boston UniversityUS2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Institut polytechnique de GrenobleFR2 papers
- Laboratoire d'Informatique de GrenobleFR2 papers
- Université Grenoble AlpesFR2 papers
- University of FloridaUS2 papers
- Brigham and Women's HospitalUS1 paper
- Centre de Recerca MatemàticaES1 paper
- Harvard UniversityUS1 paper
Showing 2011 · cs.SEShow all
3 papers · 2 filters
cs.SE2011★ 10 cited
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…
cs.SE2011
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…
cs.SE2011
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…