Wodel-Test: a model-based framework for language-independent mutation testing

Software and Systems Modeling (p. 767-793) - 1/6/2021

10.1007/s10270-020-00827-0 Ver en origen

• ISSN 16191366

• iMarina

Wodel-Edu: A tool for the generation and evaluation of diagram-based exercises

Science Of Computer Programming - 1/8/2023

10.1016/j.scico.2023.103000 Ver en origen

• ISSN 01676423

• iMarina

When and how to use multilevel modelling

Acm Transactions On Software Engineering And Methodology (p. 1-46) - 1/12/2014

10.1145/2685615 Ver en origen

• ISSN 1049331X

• iMarina
• iMarina

Web-based simulation activities of the technical school of computer science in the Universidad Autonoma of Madrid

Simulation-Transactions Of The Society For Modeling And Simulation International (p. 92-92) - 1/1/2001

10.1177/003754970107600208 Ver en origen

• ISSN 00375497

• iMarina

Visual specification of metrics for domain specific visual languages

Electronic Notes In Theoretical Computer Science (p. 99-110) - 28/4/2008

10.1016/j.entcs.2008.04.033 Ver en origen

• ISSN 15710661

• iMarina

Visual interactive simulation for distance education

Simulation-Transactions Of The Society For Modeling And Simulation International (p. 19-34) - 1/1/2003

10.1177/0037549703253455 Ver en origen

• ISSN 00375497

• iMarina

Visual Specification of Measurements and Redesigns for Domain Specific Visual Languages

JOURNAL OF VISUAL LANGUAGES AND COMPUTING (p. 399-425) - 1/6/2008

https://doi.org/10.1016/j.jvlc.2007.09.002 Ver en origen

• EISSN 1095-8533
• ISSN 1045926X

• iMarina
• UC3M

Verification and validation of declarative model-to-model transformations through invariants

Journal Of Systems And Software (p. 283-302) - 1/2/2010

10.1016/j.jss.2009.08.012 Ver en origen

• ISSN 01641212

• iMarina

Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence

Electronic Notes In Theoretical Computer Science (p. 133-152) - 8/4/2008

10.1016/j.entcs.2008.03.079 Ver en origen

• ISSN 15710661

• iMarina

Two-level evolution of foraging agent communities

Biosystems (p. 21-30) - 1/6/2002

10.1016/s0303-2647(02)00018-7 Ver en origen

• ISSN 03032647

• iMarina

Visualización en Internet de cursos basados en simulación continua

Sistemas De Interacción Persona - Computador (p. 205-227) - 1/1/2001

• iMarina

Un simulador de redes neuronales educativo

Informática Educativa : Realidad Y Futuro (p. 155-157) - 1/1/1995

• iMarina

Termination criteria for model transformation

Lecture Notes In Computer Science (p. 49-63) - 1/1/2005

10.1007/978-3-540-31984-9_5 Ver en origen

• ISBN 354025420X
• ISSN 03029743

• iMarina
• iMarina

Semiautomatic generation of educational courses in the Internet by means of an object-oriented continuous simulation language

Journal Of Computer Assisted Learning (p. 547-551) - 1/1/1998

• ISBN 1565551486
• ISSN 13652729

• iMarina

Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT 2008

Electronic Communications Of The Easst (p. 1-2) - 1/1/2008

10.14279/tuj.eceasst.10.136 Ver en origen

• ISSN 18632122

• iMarina

On some properties of artificial foraging ant communities

Software And Systems Modeling (p. 59-64) - 1/1/2003

• ISSN 16191366

• iMarina

OOCSMP: An object-oriented simulation language

Journal Of Computer Assisted Learning (p. 44-48) - 1/1/1997

• ISBN 1565551257
• ISSN 13652729

• iMarina

Multi-agent simulation of an educational collaborative web system

Journal Of Computer Assisted Learning (p. 458-463) - 1/1/2007

• ISBN 9789077381366
• ISSN 13652729

• iMarina

Model-based development: Meta-modelling, transformation and verification

Management Of The Object Oriented Development Process (p. 289-312) - 1/1/2006

10.4018/978-1-59140-604-4.ch012 Ver en origen

• iMarina
• iMarina

Model view management with triple graph transformation systems

Lecture Notes In Computer Science (p. 351-366) - 1/1/2006

10.1007/11841883_25 Ver en origen

• ISBN 9783540388722
• ISSN 03029743

• iMarina
• iMarina

transML: A family of languages to model model transformations

Lecture Notes In Computer Science (p. 106-120) - 22/11/2010

10.1007/978-3-642-16145-2_8 Ver en origen

• ISSN 03029743

• iMarina
• iMarina

XM 2014-Extreme Modeling: Proceedings of the 3rd Workshop on Extreme Modeling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014)

29/9/2014

• iMarina

XM 2013: Extreme Modeling: Proceedings of the Workshop on Extreme Modeling co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2013)

29/9/2013

• iMarina

Wodel: A domain-specific language for model mutation

Proceedings of the ACM Symposium on Applied Computing (p. 1968-1973) - 4/4/2016

10.1145/2851613.2851751 Ver en origen

• iMarina
• iMarina

Wodel-Edu: An MDE Solution for the Generation and Evaluation of Diagram-based Exercises

Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021 (p. 600-604) - 1/1/2021

10.1109/models-c53483.2021.00091 Ver en origen

• iMarina

Web-based simulation of systems described by partial differential equations

Winter Simulation Conference Proceedings (p. 629-636) - 1/1/2001

10.1109/wsc.2001.977348 Ver en origen

• ISBN 0780373073
• ISSN 02750708

• iMarina

Validación y Verificación de Interfaces de Usuario en el Ámbito del Desarrollo Basado en Modelos

Ceur Workshop Proceedings - 1/12/2006

• ISSN 16130073

• iMarina

Using simulation and virtual reality for distance education

Simulation-Transactions Of The Society For Modeling And Simulation International (p. 199-206) - 1/1/2001

• ISSN 00375497

• iMarina

Using Meta-Modelling and Graph Grammars to process GPSS models

Simulation-Transactions Of The Society For Modeling And Simulation International (p. 100-107) - 1/1/2002

• ISBN 9077039074
• ISSN 00375497

• iMarina

Using Meta-Modelling and Graph Grammars to create Modelling Environments

Electronic Notes In Theoretical Computer Science (p. 36-50) - 1/1/2003

10.1016/s1571-0661(04)80610-8 Ver en origen

• ISSN 15710661

• iMarina
• iMarina

e-Madrid: Investigación y desarrollo de tecnologías para el E-Learning en la CM

Ejecución: 01-01-2010 - 31-12-2013

Importe financiado: 862500,00 Euros.

• iMarina

Surface treatment and coating for the reduction of multipactor and passive intermodulation (PIM) effects in RF components

Ejecución: 01-03-2003 - 01-05-2005

• iMarina

Scalable modelling and model management on the cloud - MONDO

Ejecución: 01-11-2013 - 30-04-2016

Tipo: Europeo

Importe financiado: 268510,00 Euros.

• iMarina

SCALABLE MODELLING AND MODEL MANAGEMENT ON THE CLO

Ejecución: 01-11-2013 - 30-04-2016

• iMarina

Red de excelencia - Desarrollo de software dirigido por modelos (DSDM). (Excellence Network Model-driven software development (MDSD)

Ejecución: 01-11-2008 - 01-11-2010

• iMarina

Red de excelencia - Desarrollo de métodos y herramientas de DSDM colaborativos. (Excellence Network Development of collaborative MDSD methods and tools)

Ejecución: 01-07-2006 - 31-10-2008

• iMarina

Red Temática en Tecnologías para el Desarrollo Industrial de Software (TeDIS)

Ejecución: 20-01-2012 - 20-01-2013

• iMarina

RED DE EXCELENCIA EN INGENIERIA DEL SOFTWARE DIRIGIDA POR MODELOS

Ejecución: 01-12-2014 - 30-11-2016

• iMarina

PCCI-SAM. Plataforma para centros de control integrados con sistemas de ayuda al mantenimiento

Ejecución: 01-07-2012 - 30-06-2013

• iMarina

Mosaic learnig-6 Aprendizaje electrónico móvil de código abierto, basado en estándares, seguro, contextual, personalizado y colaborativo.

Ejecución: 31-12-2005 - 30-12-2008

Tipo: Nacional

Importe financiado: 130900,00 Euros.

• iMarina

Using algorithmic information theory and stochastic modeling to improve classification and evolutionary computation

13/7/2007

• iMarina

Propuesta de mecanismos de personalización de meta-modelos en la ingeniería dirigida por modelos

30/7/2019

• iMarina

Modelo programable para la serialización y evaluación de modelos heterogéneos en clientes web

6/7/2017

Defensa realizada en: Universidad Autónoma de Madrid

• Dialnet
• iMarina

Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing

1/1/2020

• iMarina

Matrix graph grammars

18/4/2008

• iMarina

Integración de herramientas de simulación para la realización de aplicaciones de enseñanza

1/1/2000

• iMarina

Exploring attributes, sequences, and time in Recommender Systems: From classical to Point-of-Interest recommendation

8/7/2021

• iMarina

Especificación, análisis y generación de entornos para lenguajes visuales de dominio específico

20/12/2007

• iMarina

Engineering scalable modelling languages

8/11/2019

• iMarina

Chatbots for Modelling, Modelling of Chatbots

1/1/2023

• iMarina