메뉴 건너뛰기




Volumn , Issue , 2004, Pages 117-126

Using empirical testbeds to accelerate technology maturity and transition: The SCRover experience

Author keywords

Architecture definition languages; Empirical methods; Empirical testbeds; SCRover; Seeded defects; Software dependability; Technology evaluation

Indexed keywords

ARCHITECTURE DEFINITION LANGUAGES (ADL); EMPIRICAL METHODS; EMPIRICAL TESTBEDS; SCROVER; SEEDED DEFECTS; SOFTWARE DEPENDABILITY; TECHNOLOGY EVALUATION;

EID: 19944426613     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISESE.2004.1334899     Document Type: Conference Paper
Times cited : (11)

References (32)
  • 1
    • 0030196627 scopus 로고    scopus 로고
    • Anchoring the Software Process
    • July
    • B. Boehm, "Anchoring the Software Process", IEEE Software, July 1996, pp. 73-82.
    • (1996) IEEE Software , pp. 73-82
    • Boehm, B.1
  • 8
    • 0003696352 scopus 로고    scopus 로고
    • Acme: Architectural description of component-based systems
    • Gary T. Leavens and Murali Sitaraman (eds), Cambridge University Press
    • D. Garlan, R. Monroe, and D. Wile, "Acme: Architectural Description of Component-Based Systems", Foundations of Component-Based Systems, Gary T. Leavens and Murali Sitaraman (eds), Cambridge University Press, 2000, pp. 47-68.
    • (2000) Foundations of Component-based Systems , pp. 47-68
    • Garlan, D.1    Monroe, R.2    Wile, D.3
  • 11
    • 11244259630 scopus 로고    scopus 로고
    • iSIM Context Simulator, URL: http://www.cs.uoreqon.edu/~jprideau/iSIM/ isim.html
    • ISIM Context Simulator
  • 12
    • 0003796172 scopus 로고    scopus 로고
    • Alloy: A lightweight object model notation
    • MIT Laboratory for Computer Science, Cambridge, MA, February
    • D. Jackson, "Alloy: A Lightweight Object Model Notation", Technical Report 797, MIT Laboratory for Computer Science, Cambridge, MA, February 2000.
    • (2000) Technical Report , vol.797
    • Jackson, D.1
  • 16
    • 0003723027 scopus 로고
    • NASA Office of Space Access and Technology, April
    • J. Mankins, "Technology Readiness Levels", NASA Office of Space Access and Technology, April 1995.
    • (1995) Technology Readiness Levels
    • Mankins, J.1
  • 18
    • 0003710548 scopus 로고
    • On the statistical validation of computer programs
    • H. Mills, "On The Statistical Validation of Computer Programs", IBM Federal Systems Division Report 72-6015, 1972.
    • (1972) IBM Federal Systems Division Report , vol.72 , Issue.6015
    • Mills, H.1
  • 19
    • 11244284437 scopus 로고    scopus 로고
    • Rational Rose Tool, URL: http:/www.rational.com/products/rose/index.jsp
    • Rational Rose Tool
  • 25
    • 0017291489 scopus 로고    scopus 로고
    • A complexity measure
    • T. McCabe, "A Complexity Measure" IEEE Trans. Sw Engr., SE-2(4), pp-308-320
    • IEEE Trans. Sw Engr. , vol.SE-2 , Issue.4 , pp. 308-320
    • McCabe, T.1
  • 29
    • 0034205795 scopus 로고    scopus 로고
    • A comprehensive evaluation of of capture-recapture models for estimating software defect content
    • June
    • L. Brand, K. El-Emam, B. Freimut, and O. Laitenberger, "A Comprehensive Evaluation of of Capture-Recapture Models for Estimating Software Defect Content," IEEE Trans. Sw Engr., (26)6, pp. 518-540, June 2000.
    • (2000) IEEE Trans. Sw Engr. , vol.6 , Issue.26 , pp. 518-540
    • Brand, L.1    El-Emam, K.2    Freimut, B.3    Laitenberger, O.4
  • 30
    • 0032309787 scopus 로고    scopus 로고
    • An experimental evaluation of an experience-based capture-recapture method in software code inspections
    • P. Runeson and C. Wohlin, "An Experimental Evaluation of an Experience-Based Capture-Recapture Method in Software Code Inspections," Empirical Software Engr., (3)3, pp. 381-406, 1998.
    • (1998) Empirical Software Engr. , vol.3 , Issue.3 , pp. 381-406
    • Runeson, P.1    Wohlin, C.2


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