ACM SIGSOFT Software Engineering Notes 11 (5): 53-56 (1986) |
T.H. Tse 2 and L. Pong 3
ABSTRACT |
We have applied Petri nets in the area of Structured Analysis by using it as a theoretical foundation for data flow diagrams. We have developed a specification language known as Formal Data Flow Diagrams (FDFD). The language preserves the comprehensibility of data flow diagrams and, at the same time, enables systems developers to analyze the consistency and completeness of requirements specifications. |
|
EVERY VISITOR COUNTS: |