Observatorio de I+D+i UPM

Memorias de investigación
Research Project:
Protest: Property-Based Testing. Acción Complementaria
Year:2008
Research Areas
  • Artificial intelligence,
  • Programming language
Information
Abstract
Acción Complementaria para preparación de propuesta de proyecto para el 7º Programa Marco.
International
No
Project type
Proyectos y convenios en convocatorias públicas competitivas
Company
Ministerio de Educación y Ciencia
Entity Nationality
ESPAÑA
Entity size
Desconocido
Granting date
26/09/2008
Participants
  • Director: Lars-Ake Fredlund (UPM)
  • Participante: Clara Benac Earle (UPM)
  • Participante: Julio Mariño Carballo (UPM)
Research Group, Departaments and Institutes related
  • 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 2019 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)