TY - GEN
T1 - Ripple
T2 - Proceedings of the 1st International Conference on Requirements Engineering
AU - Belkhouche, Boumediene
AU - Geraci, Bart J.
PY - 1994/1/1
Y1 - 1994/1/1
N2 - The intent of this 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.
AB - The intent of this 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.
UR - http://www.scopus.com/inward/record.url?scp=0027963928&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0027963928&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:0027963928
SN - 0818654805
T3 - Proceedings of the International Conference on Requirements Engineering
SP - 150
EP - 153
BT - Proceedings of the International Conference on Requirements Engineering
PB - Publ by IEEE
Y2 - 18 April 1994 through 22 April 1994
ER -