|
Descripción
|
|
|---|---|
| En la actualidad los sistemas software están presentes en todo nuestro entorno y controlan aspectos importantes de nuestras vidas. Parece obvio que estos sistemas deben ser productos fiables y de alta calidad (esto es, predecibles en los términos de las especificaciones que se han de satisfacer). Desgraciadamente, la situación actual en estos aspectos está lejos de ser satisfactoria. En este contexto, el proyecto tiene como fin la consecución de avances significativos en el área de la creación de sistemas software que certifican condiciones de calidad, especialmente la fiabilidad, a través de mecanismos rigurosos que cubren una amplia gama de técnicas: - Desarrollo de entornos y lenguajes declarativos y de especificación, con un soporte lógico-matemático riguroso, que permitan modelar adecuadamente problemas reales de la industria del software. Se abordará tanto su diseño y definición como su implementación, concebidos en general como mejoras de sistemas previos: lenguajes de programación declarativa (Curry), de especificación de sistemas concurrentes y móviles (Maude), y de especificación orientados a objetos (SLAM). - Implementación y fundamentación de herramientas de desarrollo, validación y verificación para estos lenguajes, que faciliten su utilización efectiva en entornos industriales. - Metodologías de desarrollo de software, basadas en los lenguajes y herramientas anteriores, que garanticen la calidad, fiabilidad y seguridad del producto. | |
|
Internacional
|
No |
|
Tipo de proyecto
|
Proyectos y convenios en convocatorias públicas competitivas |
|
Entidad financiadora
|
Ministerio de Educación y Ciencia |
|
Nacionalidad Entidad
|
ESPAÑA |
|
Tamaño de la entidad
|
Desconocido |
|
Fecha concesión
|
20/07/2006 |