Research Summaries

Back Development of a Reference Model in Support of Verification and Validation of Systems

Fiscal Year 2007
Division Graduate School of Operational & Information Sciences
Department Computer Science
Investigator(s) Michael, James B.
Sponsor National Aeronautics & Space Administration (Other-Fed)
Summary To assist the NASA Independent Verification and Validation Facility in establishing a system reference model to be used to specify the desired behavior of systems, under both nominal and degraded modes of operation, in support of system validation and verification.
Keywords Independent Verification and Validation, Software Engineering
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