Citation:Proceedings of Fifth Langley Formal Methods Workshop Williamsburg, Virginia, USA
Abstract:
UML use cases conceptually identify function points or major requirements that a software system must satisfy. Sequence diagrams expand each use case to show in temporal sequence a more detailed notion of intended system behavior.