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.

Objectives:

Upon completing SA-04 the participant will be able:

1. to simplify logic that involves combinations of conditions, so as to clarify specifications and recognize incomplete or inconsistent specifications.
2. to choose an appropriate technique for documenting and presenting a given logic specification to both technical and non-technical audiences.
3. to express complete and consistent logic specifications, using those appropriate techniques.
4. Integrate such logic specifications into a coherent functional specification for a proposed application system.