A formally specified prototyping system

Boumediene Belkhouche; Bart J. Geraci

doi:10.1016/0164-1212(95)00066-6

A formally specified prototyping system

Boumediene Belkhouche, Bart J. Geraci

Research output: Contribution to journal › Article › peer-review

1 Citation (Scopus)

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. 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 language	English
Pages (from-to)	67-81
Number of pages	15
Journal	Journal of Systems and Software
Volume	34
Issue number	1
DOIs	https://doi.org/10.1016/0164-1212(95)00066-6
Publication status	Published - Jul 1996
Externally published	Yes

ASJC Scopus subject areas

Software
Information Systems
Hardware and Architecture

Access to Document

10.1016/0164-1212(95)00066-6

Cite this

@article{7a9ba06fdde842cd845f41839168bcfa,

title = "A formally specified prototyping system",

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. 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.",

author = "Boumediene Belkhouche and Geraci, {Bart J.}",

year = "1996",

month = jul,

doi = "10.1016/0164-1212(95)00066-6",

language = "English",

volume = "34",

pages = "67--81",

journal = "Journal of Systems and Software",

issn = "0164-1212",

publisher = "Elsevier Inc.",

number = "1",

}

TY - JOUR

T1 - A formally specified prototyping system

AU - Belkhouche, Boumediene

AU - Geraci, Bart J.

PY - 1996/7

Y1 - 1996/7

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. 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.

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. 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.

UR - http://www.scopus.com/inward/record.url?scp=0030190578&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0030190578&partnerID=8YFLogxK

U2 - 10.1016/0164-1212(95)00066-6

DO - 10.1016/0164-1212(95)00066-6

M3 - Article

AN - SCOPUS:0030190578

SN - 0164-1212

VL - 34

SP - 67

EP - 81

JO - Journal of Systems and Software

JF - Journal of Systems and Software

IS - 1

ER -

A formally specified prototyping system

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this