Designing and prototyping in grads

S. M. Kaplan, R. H. Campbell

Research output: Contribution to journalConference articlepeer-review


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 - 1988
EventSoftware Engineering 88 - Liverpool, Engl
Duration: Jul 11 1988Jul 15 1988

ASJC Scopus subject areas

  • Electrical and Electronic Engineering


Dive into the research topics of 'Designing and prototyping in grads'. Together they form a unique fingerprint.

Cite this