Alumno | Trabajo | Fecha de Exposición | URL Transparencias |
David Liras | David Harel, Orna Kupferman. “On Object Systems and Behavioural Inheritance”. IEEE Transactions on Software Engineering, Vol. 28 no. 9, Septiembre 2002. | 26 Enero | ??? |
??? | Ingeniería de Rendimiento y UML | ??? | ??? |
??? | Play-in Play-Out:
|
??? | ??? |
Alumno | Trabajo | Fecha de Exposición | URL Transparencias |
??? | Action Semantics for UML:
|
??? | ??? |
??? | Meta-Modelling Facility (MMF):
|
??? | ??? |
Jaime Martínez | xUML, eXecutable UML: | 2 Febrero | ??? |
??? | vUML:
|
??? | ??? |
??? | Key (Integrated Deductive Software Design):
|
??? | ??? |
Alumno | Trabajo | Fecha de Exposición | URL Transparencias |
Carlos Alfonso Castañeda Marroquín | Uso de Statecharts para la evaluación del Rendimiento:
|
26 Enero | ??? |
Sara Rodríguez Villagordo | Especificación de Interfaces de Usuario:
|
---- | ??? |
Alumno | Trabajo | Fecha de Exposición | URL Transparencias |
Luis Mora | Redes de Petri para el diseño de Interfaces de Usuario:
(East-West Conference on Human Computer Interaction), St Petersburg, Russia. 2-6 August 1994. |
2 Febrero | ??? |
??? | Redes de Petri para la verificación de modelos UML:
|
??? | ??? |
??? | Redes de Petri con tiempo para la evaluación del rendimiento
de sistemas:
|
??? | ??? |
Estanislao Aguayo | Generación de código a partir de Redes de Petri coloreadas:
|
2 Febrero | ??? |
Francisco Pérez |
|
2 Febrero | ??? |
Alumno | Trabajo | Fecha de Exposición | URL Transparencias |
??? | GME, "Generic Modelling Environment" de la Universidad de Vanderbilt. Herramienta para crear entornos de modelado especializados: | ??? | ??? |
J.Alberto Medina | DOME:
|
9 Febrero | ??? |
??? | MetaEdit+: | ??? | ??? |
Germán Bajo | Fujaba, Generación de código/Ingeniería inversa: | 9 Febrero | ??? |
Graciela García | "Refactoring" con gramáticas de grafos:
Página web de Tom Mens. |
9 Febrero | ??? |
??? | GenGed (Generation of Graphical Environments for Design). Descripción de lenguajes de modelado, generación de editores gráficos. Basado en gramáticas de grafos y en la herramienta AGG: | ??? | ??? |
??? | DiaGen (Diagram Editor Generator). Descripción de editores para el modelado, basado en gramáticas de hiper-grafos. | ??? | ??? |
??? | VIATRA (Visual Automated Transformations for Formal Verification of
UML
Models ):
|
??? | ??? |
??? | Consistency Workbench (Universidad Paderborn) | ||
Victor Apéstigue | GROOVE (Graphs for Object-Oriented Verification) | 9 Febrero | |
??? | PROGRES: An integrated environment and very high level language for PROgrammed Graph REwriting Systems. Universidad de Aachen. |
Alumno | Trabajo | Fecha Demostración | URL Proyecto |
??? | Meta-Modelo de Grafos de Eventos (AToM3 ) y Simulador (Especificado en Python/AToM3 o Gramáticas de Grafos). | ??? | ??? |
??? | Meta-Modelo de Redes de Petri con Tiempo (AToM3) y Simulador (Especificado en Python/AToM3 o Gramáticas de Grafos). Tiempo en los Tokens. | ??? | ??? |
??? | Meta-Modelo de Redes de Petri con Tiempo (AToM3) y Simulador (Especificado en Python/AToM3 o Gramáticas de Grafos). Tiempo en los Arcos. | ??? | ??? |
??? | Meta-Modelo de Redes de Petri coloreadas (AToM3) y Simulador | ??? | ??? |
??? | Implementación de layout de grafos en AToM3. | ??? | ??? |