SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Winter Simulation Conference Proceedings

Volumn 1, Issue , 2001, Pages 771-779

Usage testing of military simulation systems

(3) Walton, Gwendolyn H a Patton, Robert M a Parsons, Douglas J b

a University of Central Florida (United States)

b US Army Simulation (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE; MARKOV PROCESSES; STATISTICAL TESTS;

MILITARY SIMULATIONS;

MILITARY OPERATIONS;

EID: 0035693832 PISSN: 02750708 EISSN: None Source Type: Journal
DOI: 10.1109/WSC.2001.977366 Document Type: Article

Times cited : (10)

References (26)

1
- 0021199968
- Optimizing preventive service of software products
- January 1984
- (1984) IBM Journal for Research and Development , vol.28 , Issue.1 , pp. 3-14
- Adams, E.N.¹

2
- 0007991492
- Experiences in applying statistical testing to a real-time, embedded software system
- Portland, OR, October 1993
- (1993) Proceedings of the Pacific Northwest Software Quality Conference
- Agrawal, K.¹ Whittaker, J.A.²

3
- 85013622296
- 2001. accessed March 30, 2001

4
- 0029543149
- Principles and techniques of simulation validation, verification, and testing
- ed. C. Alexo-Alexopoulos, K. Kang, W.R. Lilegdon, and D. Goldsman, ACM, 1995
- (1995) Proceedings of the 1995 Winter Simulation Conference , pp. 147-154
- Balci, O.¹

5
- 0028741025
- Validation, verification, and testing techniques throughout the life cycle of a simulation study
- ed. J.D. Tew, S. Manivannan, D.A. Sadowski, and A.F. Seila, ACM
- (1994) Proceedings of the 1994 Winter Simulation Conference , pp. 215-220
- Balci, O.¹

6
- 0029709004
- A knowledge-based approach for the validation of simulation models: The foundation
- Jan. 1996
- (1996) ACM Transactions on Modeling and Computer Simulation , vol.6 , Issue.1 , pp. 76-98
- Birta, L.G.¹ Ozmizrak, F.N.²

7
- 0022614341
- Certifying the reliability of software
- January 1986
- (1986) IEEE Transactions on Software Engineering , vol.12 , Issue.1 , pp. 3-11
- Currit, P.A.¹ Dyer, M.² Mills, H.D.³

8
- 85013577725
- DMSO. 2001. accessed March 30 2001

9
- 0034245310
- Quantitative analysis of faults and failures in a complex software systems
- August 2000
- (2000) IEEE Transactions on Software Engineering , vol.26 , Issue.8 , pp. 797-814
- Fenton, N.E.¹ Ohlsson, N.²

10
- 0003916394
- Prentice Hall, Englewood Cliffs, N.J., 1993
- (1993) The Engineering of Knowledge-Based Systems
- Gonzalez, A.J.¹ Dankel, D.D.²

11
- 0031334873
- Verification and validation in military simulations
- ed. S. Andradottir, K.J. Healy, D.H. Withers, and B.L. Nelson, ACM
- (1997) Proceedings of the 1997 Winter Simulation Conference , pp. 925-932
- Hartley, D.S.¹

12
- 85013622010
- HLA Federation Development and Execution Process. 2001. page=410, accessed March 30, 2001

13
- 0029512241
- Real time validation of man-in-the-loop simulations
- ed. C. Alexopoulos, K. Kang, W.R. Lilegdon, and D. Goldsman, ACM
- (1995) Proceedings of the 1995 Winter Simulation Conference , pp. 1250-1256
- Hopkinson, W.C.¹ Sepulveda, J.A.²

14
- 85013571573
- Building correct simulation models is difficult
- ed. J.J. Swain, D. Goldsman, R.C. Crain, and J.R. Wilson, ACM
- (1992) Proceedings of the 1992 Winter Simulation Conference , pp. 783-790
- Jacobson, S.H.¹ Yucesan, E.²

15
- 0001240743
- Certifying the correctness of software
- Software Technology, ACM
- (1992) Proceedings of the 1992 International Hawaii International Conference on Systems Sciences , vol.2 , pp. 373-381
- Mills, H.D.¹

16
- 84941181463
- Operational profiles in software reliability engineering
- March 1993
- (1993) IEEE Software , pp. 14-32
- Musa, J.D.¹

17
- 0032256567
- Introduction to military training simulation: A guide for discrete event simulationists
- ed. D.J. Medeiros, E.F. Watson, J.S. Carson, and M.S. Manivannan, ACM
- (1998) Proceedings of the 1998 Winter Simulation Conference , pp. 53-60
- Page, E.H.¹ Smith, R.²

18
- 0031380980
- Simulation model verification and validation: Increasing the user's confidence
- ed. S. Andradottir, K.J. Healy, D.H. Withers, and B.L. Nelson, ACM
- (1997) Proceedings of the 1997 Winter Simulation Conference , pp. 53-59
- Robinson, S.¹

19
- 0032277971
- Validation and verification of simulation models
- ed. D.J. Medeiros, E.F. Watson, J.S. Carson, and M.S. Manivannan, ACM
- (1998) Proceedings of the 1998 Winter Simulation Conference , pp. 121-130
- Sargent, R.G.¹

20
- 85024183056
- Introduction to simulation
- ed. J.J. Swain, D. Goldsman, R.C. Crain, and J.R. Wilson, ACM
- (1992) Proceedings of the 1992 Winter Simulation Conference , pp. 65-73
- Shannon, R.E.¹

21
- 0007894619
- Practical applications of statistical testing
- Las Vegas, Nevada, June 1998
- (1998) 3)
- Sherer, S.W.¹ Walton, G.H.²

22
- 0032266781
- Essential techniques for military modeling and simulation
- ed. D.J. Medeiros, E.F. Watson, J.S. Carson, and M.S. Manivannan, ACM
- (1998) Proceedings of the 1998 Winter Simulation Conference , pp. 805-812
- Smith, S.W.¹

23
- 0034245469
- Generating Markov chain transition probabilities to support model-based software testing
- August 2000
- (2000) Software Practice and Experience , vol.30 , pp. 1095-1106
- Walton, G.H.¹ Poore, J.H.²

24
- 0029221754
- Statistical testing of software based on a usage model
- January 1995
- (1995) Software Practice and Experience , vol.25 , Issue.1 , pp. 97-108
- Walton, G.H.¹ Poore, J.H.² Trammell, C.J.³

25
- 0027347917
- Markov analysis of software specifications
- January 1993
- (1993) ACM Transactions on Software Engineering and Methodology , vol.2 , Issue.1 , pp. 93-106
- Whittaker, J.A.¹ Poore, J.H.²

26
- 0028517307
- A Markov chain model for statistical software testing
- October 1994
- (1994) IEEE Transactions on Software Engineering , vol.30 , Issue.10 , pp. 812-824
- Whittaker, J.A.¹ Thomason, M.G.²

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