TY  - GEN
AU  - González Palomar, Irene
AU  - González Rodríguez, Diego
AU  - Plaza Fernández, Luis Julián
A4  - Verdejo López, José Alberto
PY  - 2007
UR  - https://hdl.handle.net/20.500.14352/54274
AB  - La finalidad de este proyecto es desarrollar un conjunto de aplicaciones parapoder observar gráficamente el flujo de ejecución de aplicaciones Mobile Maude,pudiendo ver los objetos, los estados por los que van pasando dichos objetos en losdistintos...
LA  - spa
KW  - Maude
KW  - Mobile Maude
KW  - Model Checker
KW  - Traza de Maude
KW  - Interfaz Gráfica
KW  - Objetos Móviles
KW  - Java
KW  - Linux y MAC
TI  - Interfaz gráfica para Mobile-Maude
TY  - coursework
ER  -