메뉴 건너뛰기




Volumn 16, Issue 4, 1999, Pages 26-30

Using immersive virtual environments for certification

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; LAWS AND LEGISLATION; QUALITY ASSURANCE; VIRTUAL REALITY;

EID: 0032660036     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.776945     Document Type: Article
Times cited : (6)

References (15)
  • 2
    • 18444398089 scopus 로고    scopus 로고
    • Applied virtual reality
    • Course #14, ACM Press, New York
    • C. Cruz-Neira et al., "Applied Virtual Reality," Course #14, ACM Siggraph 98 Conf., ACM Press, New York, 1998.
    • (1998) ACM Siggraph 98 Conf.
    • Cruz-Neira, C.1
  • 3
    • 0027842683 scopus 로고
    • Surround-screen projection-based virtual reality: The design and implementation of the CAVE
    • ACM Press, New York
    • C. Cruz-Neira, D.J. Sandin, and T.A. DeFanti, "Surround-Screen Projection-Based Virtual Reality: The Design and Implementation of the CAVE," Proc. Siggraph 1993, ACM Press, New York, 1993, pp. 135-142.
    • (1993) Proc. Siggraph 1993 , pp. 135-142
    • Cruz-Neira, C.1    Sandin, D.J.2    DeFanti, T.A.3
  • 4
    • 56449087044 scopus 로고    scopus 로고
    • Bi-directional analysis for certification of safety-critical software
    • Reliable Software Technologies, Sterling, Va.
    • R. Lutz and R. Woodhouse, "Bi-directional Analysis for Certification of Safety-Critical Software," Proc. First Int'l Software Assurance Certification Conf., Reliable Software Technologies, Sterling, Va., 1999.
    • (1999) Proc. First Int'l Software Assurance Certification Conf.
    • Lutz, R.1    Woodhouse, R.2
  • 5
    • 84898935833 scopus 로고    scopus 로고
    • Certification considerations for highly-integrated or complex aircraft systems
    • Soc. of Automotive Engineers, Warrandale, Pa.
    • "Certification Considerations for Highly-Integrated or Complex Aircraft Systems," SAE Aerospace Recommended Practice 4754, Soc. of Automotive Engineers, Warrandale, Pa., 1996.
    • (1996) SAE Aerospace Recommended Practice , vol.4754
  • 7
    • 0003666540 scopus 로고
    • Software considerations in airborne systems and equipment certification
    • Radio Tech. Commission for Aeronautics, Washington, D.C.
    • Software Considerations in Airborne Systems and Equipment Certification, Tech. Report RTCA/DO-178B, Radio Tech. Commission for Aeronautics, Washington, D.C., 1992.
    • (1992) Tech. Report RTCA/DO-178B
  • 8
    • 0344090674 scopus 로고    scopus 로고
    • Special issue on COTS software
    • June
    • J.M. Voas, guest ed., Special Issue on COTS Software, Computer, Vol. 31, No. 6, June 1998.
    • (1998) Computer , vol.31 , Issue.6
    • Voas, J.M.1
  • 10
    • 0030644613 scopus 로고    scopus 로고
    • Virtual environments for shipboard firefighting training
    • IEEE Computer Soc. Press, Los Alamitos, Calif.
    • D. Tate, L. Sibert, and T. King, "Virtual Environments for Shipboard Firefighting Training," Proc. IEEE Virtual Reality Ann. Int'l Symp., IEEE Computer Soc. Press, Los Alamitos, Calif., 1997, pp. 61-68.
    • (1997) Proc. IEEE Virtual Reality Ann. Int'l Symp. , pp. 61-68
    • Tate, D.1    Sibert, L.2    King, T.3
  • 12
    • 0345384180 scopus 로고    scopus 로고
    • Usability is from Venus, virtual environments are from Mars: User-centered evaluation methodology in a new medium
    • IEEE Computer Soc. Press, Los Alamitos, Calif.
    • M.L. Dittmar, "Usability Is from Venus, Virtual Environments Are from Mars: User-Centered Evaluation Methodology in a New Medium,'" Conf. Proc. IEEE Virtual Reality Ann. Int'l Symp., IEEE Computer Soc. Press, Los Alamitos, Calif., 1998, http://www. eece.unm.edu/eece/conf/vrais/dfpanels.html#panel2.
    • (1998) Conf. Proc. IEEE Virtual Reality Ann. Int'l Symp.
    • Dittmar, M.L.1
  • 13
    • 0030415734 scopus 로고    scopus 로고
    • Disney's Aladdin: First steps toward storytelling in virtual reality
    • ACM Press, New York
    • R. Pausch et al., "Disney's Aladdin: First Steps Toward Storytelling in Virtual Reality," Proc. Siggraph 1996, ACM Press, New York, 1996, pp. 193-203.
    • (1996) Proc. Siggraph 1996 , pp. 193-203
    • Pausch, R.1
  • 15
    • 33747365024 scopus 로고    scopus 로고
    • Experiences using lightweight formal methods for requirements modeling
    • Jan.
    • S. Easterbrook, et al., "Experiences Using Lightweight Formal Methods for Requirements Modeling," IEEE Trans. Software Eng., Vol. 24, No. 1, Jan.1998, pp. 4-14.
    • (1998) IEEE Trans. Software Eng. , vol.24 , Issue.1 , pp. 4-14
    • Easterbrook, S.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.