Observatorio de I+D+i UPM

Memorias de investigación
Proyecto de I+D+i:
DESAFIOS: Desarrollo de Software de Alta Calidad, Fiable y Seguro.
Año:2007
Áreas de investigación
  • Lenguaje de programación
Datos
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óico-matemáico 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
Participantes
  • Participante: Jose Julio Alves Alferes (Universidad Nova de Lisboa)
  • Participante: Pablo Nogueira Iglesias (Universidad de Nottingham)
  • Participante: Lars-Ake Fredlund (UPM)
  • Participante: Angel Herranz Nieva (UPM)
  • Director: Juan Jose Moreno Navarro (UPM)
  • Participante: Robert W. McGrail (Bard College (Hudson, Nueva York))
  • Participante: Susana Muñoz Hernandez (UPM)
  • Participante: Julio Mariño Carballo (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • 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
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)