Loading...
Loading...

Go to the content (press return)

Prototipado de programas usando especificaciones funcionales

Author
Franch, X.; Botella, P.
Type of activity
Report
Date
1996-10
Code
LSI-96-61-R
Repository
http://hdl.handle.net/2117/97225 Open in new window
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 function...
Citation
Franch, X., Botella, P. "Prototipado de programas usando especificaciones funcionales". 1996.
Keywords
Component programming, Functional specifications, Usefulness
Group of research
inSSIDE - integrated Software, Service, Information and Data Engineering

Participants

Attachments