Can someone break down these buzz words? What is a &quot;Formal Method&quot; in laymen terms? How do they differ from other method documentation techniques? Why should I change the way I communicate my specifications, what are the benefits?