Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Prototipado de programas usando especificaciones funcionales

Autor
Franch, X.; Botella, P.
Tipus d'activitat
Document cientificotècnic
Data
1996-10
Codi
LSI-96-61-R
Repositori
http://hdl.handle.net/2117/97225 Obrir en finestra nova
Resum
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...
Citació
Franch, X., Botella, P. "Prototipado de programas usando especificaciones funcionales". 1996.
Paraules clau
Component Programming, Functional Specifications, Usefulness
Grup de recerca
GESSI - Grup d'Enginyeria del Software i dels Serveis

Participants

Arxius