Structured Methods and/or Graphical Languages

• Structured Methods
• Graphical Languages with a formally defined semantics
  • Statecharts and synchronous languages:
  • Petri Nets