Alumno | Trabajo | Fecha de Exposición | URL Transparencias |
Díaz Ley, María | David Harel, Orna Kupferman. “On Object Systems and Behavioural Inheritance”. IEEE Transactions on Software Engineering, Vol. 28 no. 9, Septiembre 2002. | 27 Enero | ??? |
Vilches Luque, Elvira | L. Briand, Labiche, Y. “A UML-Based Approach to System Testing”. Software and Systems Modelling (Septiembre 2002) 1: 10-42. | 27 Enero | ??? |
Fernández Ferrero, Mario | Ingeniería de Rendimiento:
|
20 Enero | ??? |
??? | Live Sequence Charts and Play-in Play-Out:
|
??? | ??? |
Alumno | Trabajo | Fecha de Exposición | URL Transparencias |
Cabo Cubeiro,
Pilar |
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. |
27 Enero | ??? |
Martín Barroso, Estefanía | Redes de Petri para la verificación de modelos UML:
|
27 Enero | ??? |
Tenés Carrera, Mario | Redes de Petri con tiempo para la evaluación del rendimiento
de sistemas:
|
3 Febrero | ??? |
Franco, María Lucia | Generación de código a partir de Redes de Petri coloreadas:
|
3 Febrero | ??? |
Chagoyen, Mónica | Redes de Petri Estocásticas y su aplicación en Bilogía
Molecular:
by using stochastic Petri nets". PETER J. E. GOSS AND JEAN PECCOUD, Proc. Natl. Acad. Sci. USA Vol. 95, pp. 6750–6755, June 1998. Biochemistry. |
3 Febrero | ??? |
Aparicio Castrillo, Samuel | Redes de Petri Coloreadas para el diseño de protocolos de red | 3 Febrero | ??? |
Latorre Camino, Roberto | Redes de Petri vs. Redes Neuronales:
|
3 Febrero |
Alumno | Trabajo | Fecha de Exposición | URL Transparencias |
David Lara | Uso de Statecharts para la evaluación del Rendimiento:
|
10 Febrero | ??? |
García Blázquez, Eduardo | Especificación de Interfaces de Usuario:
|
10 Febrero | ??? |
Alumno | Trabajo | Fecha de Exposición | URL Transparencias |
Cruz Echeandía, Marina de la | Cell-DEVS, DEVS & Automatas Celulares:
|
10 Febrero | ??? |
Alumno | Trabajo | Fecha de Exposición | URL Transparencias |
??? | Action Semantics for UML:
|
??? | ??? |
Leal, Cristina | Meta-Modelling Facility (MMF):
|
10 Febrero | ??? |
Pérez Marín, Diana | xUML, eXecutable UML: | 10 Febrero | ??? |
??? | vUML:
|
??? | ??? |
??? | Key (Integrated Deductive Software Design):
|
??? | ??? |
Alumno | Trabajo | Fecha de Exposición | URL Transparencias |
??? | GME, "Generic Modelling Environment" de la Universidad de Vanderbilt. Herramienta para crear entornos de modelado especializados: | ??? | ??? |
David Phares | Fujaba, Generación de código/Ingeniería inversa: | 10 Febrero | ??? |
Alvaro Sánchez | "Refactoring" con gramáticas de grafos:
Página web de Tom Mens. |
3 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 ):
|
??? | ??? |
Alumno | Trabajo | Fecha Demostración | URL Proyecto |
Guerra Sánchez, Esther |
|
??? |
|
Riolobos, Ricardo | 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. | ??? | ??? |
Serrano Drozdowskyj, Pedro | Meta-Modelo de Redes de Petri con Tiempo (AToM3) y Simulador (Especificado en Python/AToM3 o Gramáticas de Grafos). Tiempo en los Estados (TPPN). | ??? | |
??? | Meta-Modelo de Redes de Petri con Tiempo (AToM3) y Simulador (Especificado en Python/AToM3 o Gramáticas de Grafos). Tiempo en los Arcos. | ??? | ??? |
Wegmann, Raul | Meta-Modelo de Redes de Petri con Tiempo (AToM3) y Simulador (Especificado en Python/AToM3 o Gramáticas de Grafos). Tiempo en las Transiciones (TTPN) | ??? | |
López, Jaime | Cálculo del grafo de alcanzabilidad para una red de Petri B&W (AToM3, especificado en Python o Gramáticas de Grafos). | ??? | |
??? | Meta-Modelo de un Perceptrón Multicapa (AToM3), backpropagation (Python o Gramática de Grafos), cálculo de la salida (Python o Gramática de Grafos). | ??? | ??? |
Dotú, Iván | Meta-Modelo de CSP (Constraint Satisfaction Problem) y algoritmos de resolución. | ??? |