Observatorio de I+D+i UPM

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

Esta actividad pertenece a memorias de investigación

• Participante: Robert W. McGrail (Bard College (Hudson, N.Y.))
• Participante: Lars-Ake Fredlund (UPM)
• Director: Julio Mariño Carballo (UPM)
• Participante: Victor Pablos Ceruelo (UPM)
• Participante: Pablo Nogueira Iglesias (UPM)
• Participante: Angel Herranz Nieva (UPM)
• Participante: José Julio Alves Alferes (Universidad Nova de Lisboa)
• Participante: Susana Muñoz Hernandez (UPM)
• Participante: Murdoch Gabbay . (UPM)
• Participante: Guillem Marpons Ucero (UPM)
• Participante: Juan Jose Moreno Navarro (UPM)
• Participante: Ana Maria Fernandez Soriano (UPM)

• Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
• Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software