Abstract | ||
---|---|---|
The intent of the research is to cast the prototyping method in a formal setting and to demonstrate the feasibility of such a formalization. As such, a formal basis for developing and analyzing prototyping methods and prototyping environments is formulated. Concurrently, an objective definition of prototyping is provided. To grasp the nature of prototyping, as opposed to traditional methods, concepts and issues that form the essence of prototyping are identified. These are: linguistic framework, formality, and abstraction levels. Denotational semantics and a corresponding implementation are used to formalize the notion of transformation from one level to the next |
Year | DOI | Venue |
---|---|---|
1994 | 10.1109/ICRE.1994.292378 | ICRE |
Keywords | Field | DocType |
abstraction levels,formal setting,ripple,objective definition,prototyping method,linguistic framework,formal basis,software prototyping,programming theory,denotational semantics,prototyping environments,formally specified prototyping system,formal specification,data structures,parallel programming,prototypes,computer science,high level languages | GRASP,Abstraction,Programming language,Formality,Computer science,Denotational semantics,Software prototyping,Formal specification,Ripple | Conference |
Citations | PageRank | References |
0 | 0.34 | 3 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Boumediene Belkhouche | 1 | 55 | 17.44 |
Bart J. Geraci | 2 | 191 | 20.43 |