Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Executable Specifications in an Object Oriented Formal Notation
Año:2010
Áreas de investigación
  • Ciencias de la computación y tecnología informática
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 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 a number of 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
Nombre congreso
20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010
Tipo de participación
960
Lugar del congreso
Hagenberg, Austria
Revisores
Si
ISBN o ISSN
000-0-000-00000-0
DOI
Fecha inicio congreso
23/07/2010
Fecha fin congreso
25/07/2010
Desde la página
144
Hasta la página
158
Título de las actas
20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Angel Herranz Nieva (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)