Modelado y Simulación para el Diseño de Software, un enfoque multi-paradigma

Trabajos y Artículos (Curso 2003/2004)

Calendario Preliminar

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	???
Jaime Martínez	xUML, eXecutable UML: http://www.projtech.com/pubs/index.html	2 Febrero	???
Carlos Alfonso Castañeda Marroquín	Uso de Statecharts para la evaluación del Rendimiento: “Analytical and Simulation Solutions for Performance Models Based on Statecharts: a case study on a file server”. Francês, C.R.L y otros. 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2001). http://lasdpc.icmc.sc.usp.br/producao	26 Enero	???
Sara Rodríguez Villagordo	Especificación de Interfaces de Usuario: Carr, D. "Interaction Object Graphs: An Executable Graphical Notation for Specifying User Interfaces". In Formal Methods for Computer-Human Interaction. Palanque and Paterno editors. pp: 141-161. http://www.sm.luth.se/~david/#WidgetSpec	---	???
Luis Mora	Redes de Petri para el diseño de Interfaces de Usuario: Philippe Palanque, Remi Bastide. “Petri Net based design of user-driven interfaces using the Interactive Cooperative Objects Formalism”. EUROGRAPHICS workshop on "design, specification and verification of Interactive systems", Carara, Italiy, 8-10 june 1994. Philippe Palanque, Remi Bastide. “Automatic Code Generation from a High-Level Petri Net Specification of Dialogue”.EWHCI'94 (East-West Conference on Human Computer Interaction), St Petersburg, Russia. 2-6 August 1994. Página web de P.Palanque: http://lihs.univ-tlse1.fr/palanque/publications.html	2 Febrero	???
Francisco Pérez	Redes de Petri Coloreadas. Herramienta Poses++.	2 Febrero	???
Estanislao Aguayo	Generación de código a partir de Redes de Petri coloreadas: Mortensen, K. “Automatic Code Generation from Coloured Petri Nets for an Access Control System”. 2nd Workshop on the Practical Use of Coloured Petri-Nets and Design/CPN. http://www.daimi.au.dk/CPnets/ACDC	2 Febrero	???
J.Alberto Medina	DOME: Página de Honeywell: http://www.htc.honeywell.com/dome/ "Simulation and Visualization Support for User-Defined Formalisms Using Meta-Modeling and Hierarchical Formalism Transformation". Manuel A., Pereira. In CCA01, Special Session on Domain Specific Modeling: Methodology and Applications. "Building and Rapidly Evolving Domain-Specific Tools with DOME". Engstrom, E., Krueger. J. Computer Aided Control System Design 2000.	9 Febrero	???
Graciela García	"Refactoring" con gramáticas de grafos: Tom Mens, Serge Demeyer, Dirk Janssens. "Formalising Behaviour Preserving Program Transformations". LNCS 2505, pp.: 286-301. Tom Mens. "Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution". Página web de Tom Mens.	9 Febrero	???
Germán Bajo	Fujaba, Generación de código/Ingeniería inversa: http://www.upb.de/cs/fujaba/	9 Febrero	???
Víctor Apéstigue	GROOVE (Graphs for Object-Oriented Verification)	9 Febrero	???