|
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 |