메뉴 건너뛰기




Volumn 717 LNCS, Issue , 1993, Pages 48-67

Software faults in evolving a large, real-time system: A case study

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); CODING ERRORS; INTERACTIVE COMPUTER SYSTEMS; REAL TIME SYSTEMS; SURVEYS;

EID: 85029525851     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-57209-0_5     Document Type: Conference Paper
Times cited : (22)

References (22)
  • 2
    • 0021122553 scopus 로고
    • Software Errors and Complexity: An Empirical Investigation
    • January
    • Basili, Victor R., Perricone, Barry T.: Software Errors and Complexity: an Empirical Investigation. Communications of the ACM 27:1 (January 1984) 42-52
    • (1984) Communications of the ACM , vol.27 , Issue.1 , pp. 42-52
    • Basili, V.R.1    Perricone, B.T.2
  • 3
    • 0021518088 scopus 로고
    • A Methodology for Collecting Valid Software Engineering Data
    • November
    • Basili, Victor R., Weiss, David M.: A Methodology for Collecting Valid Software Engineering Data. IEEE Transactions on Software Engineering SE-10:6 (November 1984) 728-738
    • (1984) IEEE Transactions on Software Engineering , vol.SE-10 , Issue.6 , pp. 728-738
    • Basili, V.R.1    Weiss, D.M.2
  • 5
    • 0019262457 scopus 로고
    • Standard Error Classification to Support Software Reliability Assessment
    • 1980 National Computer Conference
    • Bowen John B.: Standard Error Classification to Support Software Reliability Assessment. AFIPS Conference Proceedings, 1980 National Computer Conference (1980) 697-705
    • (1980) AFIPS Conference Proceedings , pp. 697-705
    • Bowen John, B.1
  • 7
    • 0016520329 scopus 로고
    • An Analysis of Errors and Their Causes in System Programs
    • June
    • Endres, Albert: An Analysis of Errors and Their Causes in System Programs. IEEE Transactions on Software Engineering SE-I:2 (June 1975) 140-149
    • (1975) IEEE Transactions on Software Engineering , vol.SE-I , Issue.2 , pp. 140-149
    • Endres, A.1
  • 10
    • 84977308776 scopus 로고
    • Inferring Formal Software Specifications from Episodic Descriptions
    • Sixth National Conference on Artificial Intelligence, 13-17 July, Seattle WA
    • Kelly, Van E., Nonnenmann, Uwe: Inferring Formal Software Specifications from Episodic Descriptions. Proceedings of AAAI 87. Sixth National Conference on Artificial Intelligence (13-17 July 1987) Seattle WA, 127-132
    • (1987) Proceedings of AAAI 87 , pp. 127-132
    • Van, E.K.1    Nonnenmann, U.2
  • 12
    • 0020209216 scopus 로고
    • Collecting and Categorizing Software Error Data in an Industrial Environment
    • Ostrand, Thomas J., Weyuker, Elaine J.: Collecting and Categorizing Software Error Data in an Industrial Environment. The Journal of Systems and Software 4 (1984) 289-300
    • (1984) The Journal of Systems and Software , vol.4 , pp. 289-300
    • Ostrand, T.J.1    Weyuker, E.J.2
  • 16
    • 85029524519 scopus 로고
    • Proceedings of IFIPS Congress '89 --llth World Computer Congress, August 28 -September 1, San Francisco CA
    • Perry, Dewayne E.: Industrial Strength Software Development Environments. Proceedings of IFIPS Congress '89 --llth World Computer Congress (August 28 -September 1, 1989) San Francisco CA
    • (1989) Industrial Strength Software Development Environments
    • Perry, D.E.1
  • 18
    • 84944838795 scopus 로고
    • The 3B20D Processor & DMERT Operating System: Software Development System
    • January
    • Rowland, B. R., Anderson, R. E., McCabe, P. S.: The 3B20D Processor & DMERT Operating System: Software Development System. The Bell System Technical Journal 62:1 part 2 (January 1983) 275-290.
    • (1983) The Bell System Technical Journal , vol.62 , Issue.1 , pp. 275-290
    • Rowland, B.R.1    Anderson, R.E.2    McCabe, P.S.3
  • 22
    • 85029519763 scopus 로고
    • Proceedings of IFIPS Congress '89 -11th World Computer Congress, August 28 - September 1, San Francisco CA
    • Zave, Pamela, Jackson, Daniel: Practical Specification Techniques for Control-Oriented Systems. Proceedings of IFIPS Congress '89 -11th World Computer Congress (August 28 - September 1, 1989) San Francisco CA
    • (1989) Practical Specification Techniques for Control-Oriented Systems
    • Zave, P.1    Jackson, D.2


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