•Form
analysis
• (what?) the form of the dance
•
•Formal
analysis
• (how?) formal methods (mathematics,
linguistics)
• precondition: notation
•
•Computer-aided
analysis
• (with which?) software
• precondition : digitalized
notation
• software on
formal methods