SCOPUS 정보 검색 플랫폼

Volumn 61, Issue 3, 2002, Pages 213-224

Producing reliable software: An experiment

(3) Smidts, Carol a Huang, Xin a Widmaier, James C b

a UNIVERSITY OF MARYLAND (United States)

b Department of Defense ^* (United States)

Author keywords

Capability maturity model; Cleanroom certification; Formal methods; Software development methodologies; Software engineering experiment; Software process and product metrics; Software reliability

Indexed keywords

CODES (SYMBOLS); COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; HIGH LEVEL LANGUAGES; QUALITY ASSURANCE; REAL TIME SYSTEMS; RELIABILITY; STATISTICAL METHODS;

CAPABILITY MATURITY MODEL (CMM);

SOFTWARE ENGINEERING;

EID: 0036531876 PISSN: 01641212 EISSN: None Source Type: Journal
DOI: 10.1016/S0164-1212(01)00149-2 Document Type: Conference Paper

Times cited : (12)

References (17)

1
- 0031272190
- Spec-based tests make sure telecom works
- (1997) IEEE Spectrum
- Apfelbaum, L.¹

2
- 0003843046
- Prentice Hall Englewood Cliffs, NJ
- (1995) Category Theory for Computer Science
- Barr, M.¹

3
- 0003690974
- McGraw-Hill, New York
- (1962) Introduction to the Theory of Finite-State Machines
- Gill, A.¹

4
- 0003519262
- Morgan Kaufmann, Los Altos, CA
- (1998) Understanding UML: The Developer's Guide: With a Web-based Application in Java
- Harmon, P.¹

5
- 0006378517
- Master's Thesis. Department of Nuclear Materials and Reliability Engineering, University of Maryland
- (1998) A comparison between standard and formal mathematical development
- Huang, X.¹

6
- 0003501474
- Cambridge University Press, Cambridge
- (2000) The Haskell School of Expression: Learning Functional Programming Through Multimedia
- Hudak, P.¹

7
- 0003469090
- IEEE Std 830-1998
- (1998) IEEE Recommended Practice for Software Requirements Specifications

8
- 0006307632
- Specware: An advanced environment for the formal development of complex software systems
- Munich, Germany
- (1996) Proceedings of the 5th International Conference of Algebraic Methodology and Software Technology
- Juellig, R.¹

9
- 0006342543
- Mercury Interactive Corporation
- (1997) WinRunner User's Guide, Version 4.0

10
- 0003533991
- McGraw-Hill, New York
- (1999) Software Reliability Engineering: More Reliable Software, Faster Development and Testing
- Musa, J.¹

11
- 0006342544
- Software reliability engineered testing, crosstalk
- (1996) J. Defense Software Eng
- Musa, J.¹ Widmaier, J.²

12
- 0006368751
- Software reliability engineering testing
- (1997) J. Software Quality Assurance Inst
- Musa, J.¹ Widmaier, J.²

13
- 0017400995
- Estimating software reliability from test data
- (1978) Microelectron. Reliab. , vol.17 , pp. 67
- Nelson, E.¹

14
- 0006290403
- Cleanroom software engineering technology and process
- Addison-Wesley, Reading, MA
- (1999) The SEI Series in Software Engineering
- Prowell, S.T.¹ Trammell, C.J.² Linger, R.C.³ Poore, J.H.⁴

15
- 0004030842
- Addison-Wesley, Reading, MA
- (2000) Visual Modeling with Rational Rose and UML
- Quatrani, T.¹

16
- 0002514396
- Managing the development of large software systems: Concepts and techniques
- August, Computer Society Press (also available in Proceedings of ICSE9)
- (1987) Proceedings of Wescon
- Royce, W.W.¹

17
- 0003748768
- The capability maturity model: Guidelines for improving the software process
- Addison-Wesley, Reading, MA
- (1995) SEI Series in Software Engineering

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