Formal representations have a rigorous, mathematical basis, and we will explore these further in Chapter 7. But even formal requirements specifications documents will have elements of informal or semi ...