Dr. Richard J. Botting . This is a Beta Version, read at your own risk. This paper is being developed for publication.
Some mistakes remain hidden until the system is used.
Mathematics to the Rescue Logic, mathematics, and proofs should be a part of project documentation from the initial stages. Set Theory and Logic are important for defining the problem area. In general Formal Analysis proceeds by stating the obvious. Simple facts determine the set of logically correct structures. Grammar theory is useful for documenting sequential data.