Carregant...
Carregant...

Vés al contingut (premeu Retorn)

A Case study on prototyping with specifications and multiple implementations

Autor
Franch, X.
Tipus d'activitat
Document cientificotècnic
Data
1994-10
Codi
LSI-95-9-R
Repositori
http://hdl.handle.net/2117/96715 Obrir en finestra nova
Resum
This paper presents through an example a software process model addressed to support the existence of multiple implementations when programming with abstract data types. We combine an equational style for specifying types and an imperative one for implementing them. Implementations may be selected by means of ad hoc language constructs in the appropriate contexts; another language construct, the abstraction function, allows implicit switching between implementations during execution and it also ...
Citació
Franch, X. "A Case study on prototyping with specifications and multiple implementations". 1994.
Paraules clau
Abstract data, Prototype, Software process model
Grup de recerca
GESSI - Grup d'Enginyeria del Software i dels Serveis

Participants

Arxius