Using virtual reality to validate system models [electronic resource].
- Washington, D.C. : United States. Dept. of Energy, 1999. and Oak Ridge, Tenn. : Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy.
- Physical Description:
- 12 pages : digital, PDF file
- Additional Creators:
- Sandia National Laboratories, United States. Department of Energy, and United States. Department of Energy. Office of Scientific and Technical Information
- Restrictions on Access:
- Free-to-read Unrestricted online access
- To date most validation techniques are highly biased towards calculations involving symbolic representations of problems. These calculations are either formal (in the case of consistency and completeness checks), or informal in the case of code inspections. The authors believe that an essential type of evidence of the correctness of the formalization process must be provided by (i.e., must originate from) human-based calculation. They further believe that human calculation can by significantly amplified by shifting from symbolic representations to graphical representations. This paper describes their preliminary efforts in realizing such a representational shift.
- Published through SciTech Connect., 12/09/1999., "sand99-3134c", High Integrity Software Conference, Albuquerque, NM (US), 11/14/1999--11/17/1999., and Winter, V.L.; Caudell, T.P.
- Funding Information:
View MARC record | catkey: 14347793