Manuel Roldán
Manuel Roldán
Profesor de la Universidad de Málaga
Bestätigte E-Mail-Adresse bei lcc.uma.es
Titel
Zitiert von
Zitiert von
Jahr
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
172004
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
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
112005
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
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
G Díaz, R Valencia, C Polo, M Roldan
Universidad Distrital Francisco José de Caldas, 0
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20