Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
Demostración de propiedades | ||||||||
Line: 13 to 13 | ||||||||
Miembros
| ||||||||
Added: | ||||||||
> > | ||||||||
Plan de trabajoCada grupo establecerá su plan de trabajo y la forma de organizarse. Pueden consultarse unas pautas de trabajo iniciales en Organización de los grupos |
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
Added: | ||||||||
> > |
Demostración de propiedadesDescripciónDisponer de modelos de calidad permite la detección de errores en las fases iniciales del desarrollo de software, con los beneficios tanto económicos como de tiempo que ello supone. En este grupo se trabajará en la definición y validación de técnicas que contribuyan a la mejora de la calidad de los modelos utilizados en el proceso de desarrollo software. Además el estudio de la aplicación de dichas técnicas en el ámbito de MDE serán también abordadas.Miembros
Plan de trabajoCada grupo establecerá su plan de trabajo y la forma de organizarse. Pueden consultarse unas pautas de trabajo iniciales en Organización de los grupos |