Module Interconnection Diagram

1
Module Interconnection Diagram
2
Data Flow Diagram

• Gane and Sarsen, 1979 nine-step technique to
  analyze the clients needs. Stepwise refinement
  within each step.
• A pictorial representation of all aspects of the
  logical data flow.

3
Notations
4
First Refinement
5
Second Refinement
6
Part of Third Refinement
7
Entity Relationship Diagram

• Data-oriented
• Widely used for specifying databases

8
Finite State Machine

• All states, initial State, Final states, inputs,
  transition function.

9
(No Transcript)
10
State Transition Diagram
11
Petri Nets

• Invented by Carl Adam Petri
• Describe concurrent interrelated activites
• Places, transitions, input functions, output
  functions, and marking

12
Z (Zed)

• Knowledge of set theory, functions, and discrete
  math
• Given sets, data types, and constants, state
  definitions, initial state, operations

13
(No Transcript)