Observatorio de I+D+i UPM

Memorias de investigación
Artículos en revistas:
Synthesis of Logic Programs from Object-Oriented Formal Specifications
Año:2011
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
Early validation of requirements is crucial for the rigorous development of software. Without it, even the most formal of the methodologies will produce the wrong outcome. One successful approach, popularised by some of the so-called \emph{lightweight formal methods}, consists in generating (finite, small) models of the specifications. Another possibility is to build a running prototype from those specifications. In this paper we show how to obtain executable prototypes from formal specifications written in an object oriented notation by translating them into logic programs. This has some advantages over other lightweight methodologies. For instance, we recover the possibility of dealing with recursive data types as specifications that use them often lack finite models.
Internacional
Si
JCR del ISI
No
Título de la revista
LIPIcs?Leibniz International Proceedings in Informatics
ISSN
978-3-939897-31-6
Factor de impacto JCR
0
Información de impacto
Volumen
DOI
Número de revista
Desde la página
90
Hasta la página
105
Mes
SIN MES
Ranking
Core A
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Angel Herranz Nieva (UPM)
  • Autor: 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
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)