Dynamic validation of OCL constraints with mOdCL M Roldán, F Durán Electronic Communications of the EASST 44, 2011 | 33 | 2011 |
Integrating Biological Data Sources and Data Analysis Tools through Mediators (available online only) JF Aldana, M Roldan, I Navas, AJ Perez, O Trelles Proceedings of the 2004 ACM symposium on Applied computing, 127, 2004 | 18 | 2004 |
Tracing properties of UML and OCL models with Maude F Durán, M Gogolla, M Roldán arXiv preprint arXiv:1107.0068, 2011 | 14 | 2011 |
The third rewrite engines competition F Durán, M Roldán, JC Bach, E Balland, M Van Den Brand, JR Cordy, ... Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010 …, 2010 | 14 | 2010 |
Invariant-driven specifications in Maude M Roldán, F Durán, A Vallecillo Science of Computer Programming 74 (10), 812-835, 2009 | 13 | 2009 |
Bio‐Broker: a tool for integration of biological data sources and data analysis tools JF Aldana, M Roldán‐Castro, I Navas, MM Roldán‐García, ... Software: Practice and Experience 36 (14), 1585-1604, 2006 | 13 | 2006 |
Using Maude to write and execute ODP information viewpoint specifications F Durán, M Roldán, A Vallecillo Computer Standards & Interfaces 27 (6), 597-620, 2005 | 11 | 2005 |
Invariant-driven strategies for Maude F Durán, M Roldán, A Vallecillo Electronic Notes in Theoretical Computer Science 124 (2), 17-28, 2005 | 11 | 2005 |
Representing UML models in mOdCL M Roldán, F Durán Manuscript. Available at http://maude. lcc. uma. es/mOdCL, 2008 | 10 | 2008 |
The second rewrite engines competition F Durán, M Roldán, E Balland, M van den Brand, S Eker, KT Kalleberg, ... Electronic Notes in Theoretical Computer Science 238 (3), 281-291, 2009 | 9 | 2009 |
Dynamic validation of Maude prototypes of UML models F Durán, M Roldán, A Moreno, JM Álvarez Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi …, 2014 | 4 | 2014 |
Evaluation of OCL expressions in Maude. The evaluator mOdCL. F Durán, M Roldán Technical Report Paper XXX, University of Málaga, 2012. Available at http …, 2012 | 2 | 2012 |
Validating ocl constraints on maude prototypes of uml models F Durán, M Roldán | 1 | 2012 |
Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010) J Cabot, T Clark, M Clavel, M Gogolla Electronic Communications of the EASST 36, 2010 | 1 | 2010 |
Checking mOdCL with a benchmark for OCL F Durán, M Roldán | | 2012 |
The Second Rewrite Engines Competition E Balland, PE Moreau, M van den Brand, E Visser, F Duran, M Roldan, ... WRLA 2008: 7th International Workshop on Rewriting Logic and its Applications, 2008 | | 2008 |
Implementation and evaluation of OR paraliei Prolog models on distributed systems V BENJUMEA, M ROLDAN, JM TROYA Journal of Programming Languages 2 (2), 109-124, 1994 | | 1994 |
A Prolog interpreter for OR parallelism evaluation on distributed systems V Benjumea, M Roldan, JM Troya 1993 Euromicro Workshop on Parallel and Distributed Processing, 105-112, 1993 | | 1993 |
External links AM Sloane, LCL Kats, E Visser, M Völter, S Benz, C Dietrich, ... | | |