XII Jornadas de Ingeniería del Software y Bases de Datos

Zaragoza, del 11 al 14 de septiembre de 2007

Presentación

Novedades

Comités

Conferencias Invitadas

Artículos Aceptados

Programa

Espacios CEDI

Solicitud de Contribuciones

Información para Autores

Fechas Importantes

Inscripción

Alojamiento

Tutoriales

Talleres

Demostraciones de Herramientas

Demostraciones Aceptadas

Instrucciones de demostraciones

Divulgación de Trabajos Relevantes

Lugar de Celebración

Secretaría Técnica

Ediciones Anteriores

---

---

Organizado por:
Colaboradores:

Demostraciones de Herramientas Aceptadas

Generation of Business Process based Web Applications.

Pau Giner, Victoria Torres Vicente Pelechano Dept. de Sistemas Informáticos y Computación Universidad Politécnica de Valencia

PervGT: Herramienta CASE para la Generación Automática de Sistemas Pervasivos.

Estefanía Serral Carlos Cetina, Javier Muñoz, Vicente Pelechano Dept. de Sistemas Informáticos y Computación Universidad Politécnica de Valencia

UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming.

Jordi Cabot Robert Clarisó, Patricia de la Fuente, Daniel Riera Estudis d’Informàtica, Multimèdia i Telecomunicació Universitat Oberta de Catalunya

MDBE: Una Herramienta Automática para el Modelado Multidimensional.

Oscar Romero Alberto Abelló Dept.de Llenguatges i Sistemes Informàtics Universitat Politècnica de Catalunya

MOMENT CASE: Un prototipo de herramienta CASE.

Abel Gómez Artur Boronat, Jose Á. Carsí, Isidro Ramos Departament de Sistemes Informàtics i Computació Universitat Politècnica de València.

Comprobación eficiente de restricciones de integridad en OCL.

Jordi Cabot1, Ernest Teniente2 1Estudis d’Informàtica, Telecomunicació i Multimèdia Universitat Oberta de Catalunta 2Dept. de Llenguatges i Sistemes Informàtics Universitat Politècnica de Catalunya

The MOVA Tool: A Rewriting-Based UML Modeling, Measuring, and Validation Tool.

Manuel Clavel Marina Egea, Viviane Torres da Silva Departamento de Sistemas Informáticos y Computación Facultad de Informática Universidad Complutense de Madrid

AGE (Agile Generative Environment).

Jesús Sánchez Cuadrado Jesús García Molina Facultad de Informática Universidad de Murcia

ModelSET: Soporte a Edición y Transformaciones de Modelos.

Antonio Estévez García1, E. Victor Sánchez Rebull1, Francisco Vargas Ruiz1, Orlando Avila-García1, Adolfo Sánchez-Barbudo Herrera2, José Luis Roda García2 1Open Canarias, S.L. 2Universidad de La Laguna Santa Cruz de Tenerife

PRISMA CASE.

Jennifer Pérez1, Cristóbal Costa2, Jose A. Carsí2, Isidro Ramos2 1Dpto. Organización y Estructuras de la Información Escuela Universitaria de Informática, Universidad Politécnica de Madrid 2Dpto. Sistemas Informáticos y Computación Universidad Politécnica de Valencia

StateML: modelado gráfico de máquinas de estados y generación de código siguiendo un enfoque MDE.

Cristina Vicente-Chicote, Diego Alonso, Bárbara Álvarez Dpto. de Tecnologías de la Información y las Comunicaciones, E. T. S. I. de Telecomunicación, Universidad Politécnica de Cartagena

V3Studio: Un entorno gráfico para el diseño de sistemas basados en componentes siguiendo un enfoque dirigido por modelos.

Cristina Vicente-Chicote1, Diego Alonso1, Olivier Barais2 1Dpto. de Tecnologías de la Información y las Comunicaciones E. T. S. I. de Telecomunicación, Universidad Politécnica de Cartagena 2Triskell Team Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), France

REMM-Studio: Un entorno integrado para dar soporte a un enfoque de Ingeniería de Requisitos Dirigido por Modelos.

Cristina Vicente-Chicote1, Begoña Moros2, Ambrosio Toval2 1Dpto. de Tecnologías de la Información y las Comunicaciones E. T. S. I. de Telecomunicación, Universidad Politécnica de Cartagena 22Dpto. de Informática y Sistemas Facultad de Informática Universidad de Murcia

MORPHEUS: support from AO-Requirements to AO-Software Architecture.

Elena Navarro1, Patricio Letelier2, Isidro Ramos2 1Computing Systems Department Universidad de Castilla-La Mancha 2Dpto. Sistemas Informáticos y Computación Universidad Politécnica de Valencia

Maudeling: Herramienta de gestión de modelos usando Maude.

José E. Rivera1, Francisco Durán1, Antonio Vallecillo1, J. Raúl Romero2 1Dept. Lenguajes y Ciencias de la Computación Universidad de Málaga 2Dept. Informática y Análisis Numérico Universidad de Córdoba

WebTE: Generación de aplicaciones Web dirigida por modelos.

Santiago Meliá1, Jaime Gómez1, José Luís Serrano2 1Dept. de Lenguajes y Sistemas Informáticos Escuela Politécnica Superior, Universidad de Alicante 2Departamento de Informática Caja de Ahorros del Mediterráneo, Alicante

CE4WEB: Una Herramienta CASE Colaborativa para el Modelado de Aplicaciones con UML.

Víctor M.R. Penichet, María D. Lozano, J.A. Gallud, R. Tesoriero Departamento de Sistemas Informáticos Instituto de Investigación en informática de Albacete (I3A) Universidad de Castilla-La Mancha

MaCMAS CASE Tool Demonstration: MDD-based refinement of Collaboration-Based UML Models.

Joaquín Peña, Antonio Ruiz-Cortés Departamento de Lenguajes y Sistemas Informáticos Universidad de Sevilla

FAMA: Hacia el análisis automático de modelos de características.

Pablo Trinidad, David Benavides, Sergio Segura, Antonio Ruiz-Cortés Departamento de Lenguajes y Sistemas Informáticos Universidad de Sevilla

---