Manuel Roldán
Manuel Roldán
Profesor de la Universidad de Málaga
Verified email at lcc.uma.es
Title
Cited by
Cited by
Year
Dynamic validation of OCL constraints with mOdCL
M Roldán, F Durán
Electronic Communications of the EASST 44, 2011
272011
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
152004
Tracing properties of UML and OCL models with maude
F Durán, M Gogolla, M Roldán
arXiv preprint arXiv:1107.0068, 2011
142011
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
122006
Representing UML models in mOdCL
M Roldán, F Durán
Manuscript. Available at http://maude. lcc. uma. es/mOdCL, 2008
112008
The third rewrite engines competition
F Durán, M Roldán, JC Bach, E Balland, M Van Den Brand, JR Cordy, ...
International Workshop on Rewriting Logic and its Applications, 243-261, 2010
102010
Invariant-driven specifications in Maude
M Roldán, F Durán, A Vallecillo
Science of Computer Programming 74 (10), 812-835, 2009
102009
Invariant-driven strategies for Maude
F Durán, M Roldán, A Vallecillo
Electronic Notes in Theoretical Computer Science 124 (2), 17-28, 2005
102005
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
92005
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
72009
Fundamentos de Programación con el Lenguaje de Programación C+
V Benjumea, M Roldán
Málaga: Universidad de Málaga, 2016
22016
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
22012
Dynamic Validation of Maude Prototypes of UML Models
F Durán, M Roldán, A Moreno, JM Álvarez
Specification, Algebra, and Software, 212-228, 2014
12014
Validating ocl constraints on maude prototypes of uml models
F Durán, M Roldán
12012
Checking mOdCL with a benchmark for OCL
F Durán, M Roldán
2012
Workshop on OCL and Textual Modelling (OCL 2010)
M Roldán, F Durán
Electronic Communications of the EASST 36, 2010
2010
The Second Rewrite Engines Competition
E Balland, PE Moreau, M Van den Brand, E Visser, F Duran, M Roldan, ...
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
Evaluating structural safety solar tracking system in colombia
J Díaz, A Valencia, H Polo, J Roldan
Universidad Distrital Francisco José de Caldas, 0
The system can't perform the operation now. Try again later.
Articles 1–20