Mostra el registre d'ítem simple
A Case study on prototyping with specifications and multiple implementations
dc.contributor.author | Franch Gutiérrez, Javier |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
dc.date.accessioned | 2016-11-16T11:59:51Z |
dc.date.available | 2016-11-16T11:59:51Z |
dc.date.issued | 1994-10 |
dc.identifier.citation | Franch, X. "A Case study on prototyping with specifications and multiple implementations". 1994. |
dc.identifier.uri | http://hdl.handle.net/2117/96715 |
dc.description.abstract | 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 allows prototyping of incomplete programs. So, the resulting software process model permits the user to reach the final program as a sequence of intermediate executable prototypes. |
dc.format.extent | 15 p. |
dc.language.iso | eng |
dc.relation.ispartofseries | LSI-95-9-R |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Enginyeria del software |
dc.subject.other | Software process model |
dc.subject.other | Abstract data |
dc.subject.other | Prototype |
dc.title | A Case study on prototyping with specifications and multiple implementations |
dc.type | External research report |
dc.contributor.group | Universitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering |
dc.rights.access | Open Access |
local.identifier.drac | 1872099 |
dc.description.version | Postprint (published version) |
local.citation.author | Franch, X. |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [154]
-
Reports de recerca [41]
-
Reports de recerca [32]