Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
Executable Specifications in an Object Oriented Formal Notation
Year:2010
Research Areas
  • Information technology and adata processing
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 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.
International
Si
Congress
20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010
960
Place
Hagenberg, Austria
Reviewers
Si
ISBN/ISSN
000-0-000-00000-0
Start Date
23/07/2010
End Date
25/07/2010
From page
144
To page
158
20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010
Participants
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Angel Herranz Nieva (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)