A formally specified prototyping system

Boumediene Belkhouche, Bart J. Geraci

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


The intent of this research is to cast the prototyping method in a formal setting and to demonstrate the feasibility of such a formalization. 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. A multilevel system based on three languages, each at an appropriate level of abstraction, is developed. Denotational semantics and a corresponding implementation are used to formalize the notion of transformation from one level to the next.

Original languageEnglish
Pages (from-to)67-81
Number of pages15
JournalJournal of Systems and Software
Issue number1
Publication statusPublished - Jul 1996
Externally publishedYes

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Hardware and Architecture


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

Cite this