1.Reason with a document written in a formal specification language2.Use a formal notation to develop, analyse and critically reviewa (small-scale) system specification3.Animate a specification using an appropriate practical tool and discuss the results