Observatorio de I+D+i UPM

Memorias de investigación
Research Publications in journals:
Synthesis of Logic Programs from Object-Oriented Formal Specifications
Year:2011
Research Areas
  • Programming language
Information
Abstract
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.
International
Si
JCR
No
Title
LIPIcs?Leibniz International Proceedings in Informatics
ISBN
978-3-939897-31-6
Impact factor JCR
0
Impact info
Volume
Journal number
From page
90
To page
105
Month
SIN MES
Ranking
Core A
Participants
  • Autor: Angel Herranz Nieva (UPM)
  • Autor: 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
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)