1. 1 pUML part 3 Precise UML Conclusions

2. 2 pUML part 3 5 ways for Requirements u Textual Description u Building Prototype u Axioms, mathematical u Z u UML u Which one is best?

3. 3 pUML part 3 Class Discussion u How does a soft eng use each method to answer questions about the external behavior of a proposed system?

4. 4 pUML part 3 Class Discussion u For each method, why isn’t it used on a routine basis?

5. 5 pUML part 3 Specification example u Make appointment –inputs –outputs –behavior if name is not of current patient in the patient records –behavior if desired time is not available

6. 6 pUML part 3 The UML as a Formal Modeling Notation Evans, France, Lano, and Rumpe

7. 7 pUML part 3 Associations u Are associations bidirectional? –Always?

8. 8 pUML part 3 Transforming UML Diagrams u Do Universities enlighten all students?

9. 9 pUML part 3 Foundations of the Unified Modeling Language Clark and Evans

10. 10 pUML part 3 Benefits to UML u Clarity u Equivalence and Consistency u Extendability u Refinement u Proof

11. 11 pUML part 3 Class Discussions u Conclusions?