Observatorio de I+D+i UPM

Memorias de investigación
Cursos, seminarios y tutoriales:
Rigorous Software Development
Año:2014
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
Doctorate course on the training stage of PhD Programme Software and Systems Software is getting more and more complex and is becoming responsible for critical tasks. Therefore, any technology aimed at ensuring the reliability and quality of software will be increasingly relevant. There are many ways to approach these goals. The declarative approach relies on languages and logics with a solid mathematical foundation. This includes specification languages (VDM, Z, B, Event-B, OBJ, Alloy, ...), functional programming languages (Haskell, Erlang, ?-calculi?), logic programming languages (Prolog, CLP, ASP,?) among others. Some basic knowledge of logic and functional and logic programming is assumed as a prerequisite. Some goals of the course are: To motivate the use of technologies in software development under the correctness-by-construction paradigm. To study different families of languages aimed at easing the process of building correct software. To understand the differences between declarative and procedural languages and the impact of these aspects in software development. To identify the better niches for the industrial application of declarative / correctness by construction technologies.
Internacional
Si
Nombre congreso
Programa de Doctorado en Software y Sistemas
Entidad organizadora
UPM
Nacionalidad Entidad
ESPAÑA
Lugar/Ciudad de impartición
Madrid
Fecha inicio
01/09/2014
Fecha fin
30/06/2015
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Manuel Carro Liñares (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • 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)