Prototipado de programas usando especificaciones funcionales
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/97225
Tipus de documentReport de recerca
Data publicació1996-10
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
This report presents an approach to component programming in a
prototyping software process model. We focus in the study of the
usefulness of specifications, both functional and non functional,
to obtain prototypes. Functional specifications are used to
execute prototypes by means of term-rewriting and, once components
are gradually implemented, by means of a mixed execution system able
to combine term-rewriting with usual interpretation of an imperative
programming language. Non functional specifications are used not
only to validate that implementations satisfy them, but also to select
with an algorithm the best implementation of a component in a given context.
We will propose a catalogue of some basic actions to catch these
development steps, that could be used in the future to implement
a software process assistant. We will show the feasibility of our
approach with an example.
CitacióFranch, X., Botella, P. "Prototipado de programas usando especificaciones funcionales". 1996.
Forma partLSI-96-61-R
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400228190.pdf | 1,871Mb | Visualitza/Obre |