DocumentCode :
1872429
Title :
Ripple: a formally specified prototyping system
Author :
Belkhouche, Boumediene ; Geraci, Bart J.
Author_Institution :
Dept. of Comput. Sci., Tulane Univ., New Orleans, LA, USA
fYear :
1994
fDate :
18-22 Apr 1994
Firstpage :
150
Lastpage :
153
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
Keywords :
formal specification; programming theory; software prototyping; Ripple; abstraction levels; denotational semantics; formal basis; formal setting; formally specified prototyping system; linguistic framework; objective definition; prototyping environments; prototyping method; Buildings; Computer science; Data structures; High level languages; Parallel programming; Prototypes;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Requirements Engineering, 1994., Proceedings of the First International Conference on
Conference_Location :
Colorado Springs, CO
Print_ISBN :
0-8186-5480-5
Type :
conf
DOI :
10.1109/ICRE.1994.292378
Filename :
292378
Link To Document :
بازگشت