archives

An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Leavens, Gary T., Wahls, Tim, Baker, Albert L. and Lyle, Kari (1993) An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams. Technical Report TR93-28a, Department of Computer Science, Iowa State University.

Full text available as:Postscript
Adobe PDF

Abstract

An Operational Semantics of Firing Rules
for Structured Analysis Style Data Flow Diagram
by
Gary T. Leavens, Tim Wahls, Albert L. Baker, and Kari Lyle
Abstract
Using operational semantic techniques, we give a precise formal
description of the firing rules of data flow diagrams.  This semantics
can serve as a foundation for the formalization of structured analysis
specifications.

Subjects:All uncategorized technical reports
ID code:00000062
Deposited by:Staff Account on 08 December 1993



Contact site administrator at: ssg@cs.iastate.edu