NASA NTRS · 20060034427
UML and Model Checking
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.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Schneider, F.. 1999-06-13. UML and Model Checking. https://ntrs.nasa.gov/citations/20060034427
Cite the original work for its findings. Save a collection to share your selection of sources.