Abstract | ||
---|---|---|
The intent of this research is to cast the prototyping method in a formal setting and to demonstratethe feasibility of such a formalization. As such, a formal basis for developing and analyzing prototypingmethods and prototyping environments is formulated. Concurrently, an objective definition of protypingis provided. To grasp the nature of prototyping, as opposed to traditional methods, concepts and issuesthat form the essence of prototyping are identified. These are: linguistic... |
Year | DOI | Venue |
---|---|---|
1996 | 10.1016/0164-1212(95)00066-6 | Journal of Systems and Software |
Keywords | Field | DocType |
prototyping system,specification,prototyping | Programming language,GRASP,Abstraction,Formality,Commutative property,Computer science,Denotational semantics,Formal specification,Rewriting | Journal |
Volume | Issue | ISSN |
34 | 1 | The Journal of Systems & Software |
Citations | PageRank | References |
1 | 0.38 | 21 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Boumediene Belkhouche | 1 | 55 | 17.44 |
Bart J. Geraci | 2 | 191 | 20.43 |