Loading...
Loading...

Go to the content (press return)

A Case study on prototyping with specifications and multiple implementations

Author
Franch, X.
Type of activity
Report
Date
1994-10
Code
LSI-95-9-R
Repository
http://hdl.handle.net/2117/96715 Open in new window
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 ...
Citation
Franch, X. "A Case study on prototyping with specifications and multiple implementations". 1994.
Keywords
Abstract data, Prototype, Software process model
Group of research
inSSIDE - integrated Software, Service, Information and Data Engineering

Participants

Attachments