NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
UML and Model CheckingUML 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.
Document ID
20060034427
Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
External Source(s)
hdl:2014/18427
Authors
Schneider, F.
Date Acquired
August 23, 2013
Publication Date
June 13, 1999
Publication Information
Publication: Proceedings of Fifth Langley Formal Methods Workshop
Subject Category
Computer Programming And Software
Distribution Limits
Public
Copyright
Other
Keywords
UML Model Checking software system real-time interferometer

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available