Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Rigorous Software Development Using McErlang
Año:2009
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
FALTA
Internacional
No
Nombre congreso
14th Conference on Software Engineering an Databases, JISBD09
Tipo de participación
960
Lugar del congreso
San Sebastián, Spain
Revisores
Si
ISBN o ISSN
978-84-692-4211-7
DOI
Fecha inicio congreso
08/09/2009
Fecha fin congreso
11/09/2009
Desde la página
335
Hasta la página
338
Título de las actas
Actas de la 14th Conference on Software Engineering an Databases, JISBD09
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: Clara Benac Earle (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)