2 half-day sessions
In the first session we confirm the need for precise specifications of rules, algorithms, policies, etc. in forms that both end users and programmers can understand. We look at the relationships between logic (process, function) specifications and other components of a structured specification. As background we survey the language and concepts of propositional logic, predicate logic, and set theory, with exercises in interpreting ordinary English and simplifying messy combinations of conditions and actions.
In the second session we examine alternative methods of documenting logic, including structured English, decision tables, decision trees, flow diagrams, UML interaction diagrams, IPO charts, pseudo code, and real programming languages. We apply these techniques to a few examples, noting criteria for choosing the most appropriate method.
Upon completing SA-04 the participant will be able: