Research Summaries

Back UML-Based Validation and Verification (V&V)

Fiscal Year 2007
Division Graduate School of Operational & Information Sciences
Department Computer Science
Investigator(s) Drusinsky, Doron
Sponsor National Aeronautics & Space Administration (Other-Fed)
Summary Assist and guide NASA IV&V Center in UML based specification modeling, programming, code-generation, validation, testing and verification of safety critical systems and distributed systems.
Keywords
Publications Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal
Data Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal