1pUML part 3

Precise UML

Conclusions

2pUML part 3

5 ways for Requirements

Textual Description Building Prototype Axioms, mathematical Z UML Which one is best?

3pUML part 3

Class Discussion

How does a soft eng use each method to answer questions about the external behavior of a proposed system?

4pUML part 3

Class Discussion

For each method, why isn’t it used on a routine basis?

5pUML part 3

Specification example

Make appointment– inputs– outputs– behavior if name is not of current patient in the

patient records

– behavior if desired time is not available

6pUML part 3

The UML as a Formal Modeling Notation

Evans, France, Lano, and Rumpe

7pUML part 3

Associations

Are associations bidirectional?– Always?

8pUML part 3

Transforming UML Diagrams

Do Universities enlighten all students?

9pUML part 3

Foundations of the Unified Modeling Language

Clark and Evans

10pUML part 3

Benefits to UML

Clarity Equivalence and Consistency Extendability Refinement Proof

11pUML part 3

Class Discussions

Conclusions?