Designing and prototyping in grads

S. M. Kaplan, R H Campbell

Research output: Contribution to journalConference article

Abstract

We present a graphical approach to software design that supports specification, prototyping, stepwise refinement and analysis of designs. The approach is based on a formal model from language and graph theory and has a practical implementation. In the examples given we demonstrate that dataflow methods of design can be conveniently combined with state machine diagrams within a prototyping environment. We also show how complex designs may be decomposed into independent modules. Finally we include an example formal specification of a system based on the same graphical design approach.

Original languageEnglish (US)
Pages (from-to)55-59
Number of pages5
JournalIEE Conference Publication
Issue number290
StatePublished - Dec 1 1988
EventSoftware Engineering 88 - Liverpool, Engl
Duration: Jul 11 1988Jul 15 1988

Fingerprint

Graph theory
Software design
Specifications
Formal specification

ASJC Scopus subject areas

  • Electrical and Electronic Engineering

Cite this

Designing and prototyping in grads. / Kaplan, S. M.; Campbell, R H.

In: IEE Conference Publication, No. 290, 01.12.1988, p. 55-59.

Research output: Contribution to journalConference article

Kaplan, S. M. ; Campbell, R H. / Designing and prototyping in grads. In: IEE Conference Publication. 1988 ; No. 290. pp. 55-59.
@article{031a0ce05b144019a52d4dd3a3956f61,
title = "Designing and prototyping in grads",
abstract = "We present a graphical approach to software design that supports specification, prototyping, stepwise refinement and analysis of designs. The approach is based on a formal model from language and graph theory and has a practical implementation. In the examples given we demonstrate that dataflow methods of design can be conveniently combined with state machine diagrams within a prototyping environment. We also show how complex designs may be decomposed into independent modules. Finally we include an example formal specification of a system based on the same graphical design approach.",
author = "Kaplan, {S. M.} and Campbell, {R H}",
year = "1988",
month = "12",
day = "1",
language = "English (US)",
pages = "55--59",
journal = "IEEE Conference Publication",
issn = "0537-9989",
publisher = "Institution of Engineering and Technology",
number = "290",

}

TY - JOUR

T1 - Designing and prototyping in grads

AU - Kaplan, S. M.

AU - Campbell, R H

PY - 1988/12/1

Y1 - 1988/12/1

N2 - We present a graphical approach to software design that supports specification, prototyping, stepwise refinement and analysis of designs. The approach is based on a formal model from language and graph theory and has a practical implementation. In the examples given we demonstrate that dataflow methods of design can be conveniently combined with state machine diagrams within a prototyping environment. We also show how complex designs may be decomposed into independent modules. Finally we include an example formal specification of a system based on the same graphical design approach.

AB - We present a graphical approach to software design that supports specification, prototyping, stepwise refinement and analysis of designs. The approach is based on a formal model from language and graph theory and has a practical implementation. In the examples given we demonstrate that dataflow methods of design can be conveniently combined with state machine diagrams within a prototyping environment. We also show how complex designs may be decomposed into independent modules. Finally we include an example formal specification of a system based on the same graphical design approach.

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

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

M3 - Conference article

AN - SCOPUS:0024174185

SP - 55

EP - 59

JO - IEEE Conference Publication

JF - IEEE Conference Publication

SN - 0537-9989

IS - 290

ER -