(r5)MOMENT < Main < Proyecto META

View topic | ~~Edit~~ | ~~WYSIWYGAttach~~Printable

r5 - 22 May 2007 - 03:05:10 - AbelGomezYou are here: Proyecto META >

---+ Subproyecto !MOMENT<br />%TINYFONT%(MOdel manageMENT)%ENDFONT%

<img alt="Logo_ISSI.png" src="%ATTACHURL%/Logo_ISSI.png" align="right" hspace="10" />Grupo de Investigación [[http://issi.dsic.upv.es][Ingeniería de Software y Sistemas de Información]] (ISSI), [[http://www.dsic.upv.es][departamento de Sistemas Informáticos y Computación]] (DSIC), [[http://www.upv.es][Universidad Politécnica de Valencia]] (UPV)

---++ Objetivos Específicos 

   1 Diseñar, formalizar e implementar un marco genérico para la gestión de modelos en el que se puedan realizar manipulaciones de modelos (transformación de modelos, composición de modelos, verificación y compilación de artefactos software) y consultas de modelos (OCL, trazabilidad, comparación de modelos) siguiendo estándares industriales (MOF, QVT, OCL). Este marco para la gestión de modelos persigue la obtención de calidad, interoperabilidad, reutilización, trazabilidad y productividad en el proceso de desarrollo de software basado en modelos.
   1 Demostrar la viabilidad de dicho marco en las aproximaciones más actuales de desarrollo de software AOSD, DSBC, Arquitecturas Software, Líneas de Producto&#8230; y sus correspondientes procesos, desde requisitos a código aplicando técnicas de verificación formales que garanticen la corrección de las transformaciones.
   1 Aplicar la tecnología desarrollada en dominios novedosos, tales como: Safety Oriented Sysytems, Bioinformática, Sistemas de Sensores y Actuadores, y Web Semántica.

Main

Suscripción RSS

Suscripción Atom

Webs
Main
TWiki

Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Proyecto META? Send feedback