Ripple: A formally specified prototyping system

Boumediene Belkhouche, Bart J. Geraci

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationProceedings of the International Conference on Requirements Engineering
PublisherPubl by IEEE
Pages150-153
Number of pages4
ISBN (Print)0818654805
Publication statusPublished - 1994
Externally publishedYes
EventProceedings of the 1st International Conference on Requirements Engineering - Colorado Springs, CO, USA
Duration: Apr 18 1994Apr 22 1994

Publication series

NameProceedings of the International Conference on Requirements Engineering

Other

OtherProceedings of the 1st International Conference on Requirements Engineering
CityColorado Springs, CO, USA
Period4/18/944/22/94

ASJC Scopus subject areas

  • General Engineering

Fingerprint

Dive into the research topics of 'Ripple: A formally specified prototyping system'. Together they form a unique fingerprint.

Cite this