TY  - THES
AU  - Alonso García, Rafael
A3  - Gómez Martínez, María Elena
A3  - Requeno Jarabo, José Ignacio
PY  - 2024
UR  - https://hdl.handle.net/20.500.14352/107918
AB  - A partir de un metamodelo, se pretende formalizar y analizar un modelo recibido, con el fin de validarlo con respecto a dicho metamodelo y asegurarnos de su correcto funcionamiento.
AB  - Given a metamodel from a different project, the goal is to formalize and analyze another model received. That way we can validate the previous metamodel and make sure that it works as intended.
LA  - spa
KW  - Ingeniería orientada a modelos
KW  - Pruebas
KW  - EMF
KW  - Metamodelo
KW  - Líneas de producto
KW  - Redes de Petri
KW  - Model
KW  - Testing
KW  - Metamodeling
KW  - Product lines
TI  - Testeo de modelos orientados a líneas de producto
T2  - Given a metamodel from a different project
M3  - bachelor thesis
ER  -