Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
Rigorous Software Development Using McErlang
Year:2009
Research Areas
  • Programming language
Information
Abstract
FALTA
International
No
Congress
14th Conference on Software Engineering an Databases, JISBD09
960
Place
San Sebastián, Spain
Reviewers
Si
ISBN/ISSN
978-84-692-4211-7
Start Date
08/09/2009
End Date
11/09/2009
From page
335
To page
338
Actas de la 14th Conference on Software Engineering an Databases, JISBD09
Participants
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: Clara Benac Earle (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)