메뉴 건너뛰기




Volumn , Issue , 2006, Pages 279-284

Fusing quantitative requirements analysis with model-based systems engineering

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; MODEL CHECKING; SOFTWARE PROTOTYPING; STEREO VISION; SYSTEMS ANALYSIS; SYSTEMS ENGINEERING;

EID: 41149092628     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RE.2006.24     Document Type: Conference Paper
Times cited : (9)

References (10)
  • 1
    • 0003295338 scopus 로고
    • Multiple Objective Decision Making - Methods and Applications
    • Springer-Verlag
    • C-L. Hwang, and A.S. Masud, 1979, "Multiple Objective Decision Making - Methods and Applications", Lecture Notes in Economics and Mathematical Systems No. 164, Springer-Verlag, 1979.
    • (1979) Lecture , vol.164
    • Hwang, C.-L.1    Masud, A.S.2
  • 4
    • 7744242790 scopus 로고    scopus 로고
    • Quantitative risk-based requirements reasoning
    • Springer
    • M.S. Feather, and S.L. Cornford "Quantitative risk-based requirements reasoning", Requirements Engineering (Springer), 8(4), 2003, pp. 248-265.
    • (2003) Requirements Engineering , vol.8 , Issue.4 , pp. 248-265
    • Feather, M.S.1    Cornford, S.L.2
  • 7
    • 23344436175 scopus 로고    scopus 로고
    • Optimal Use of Budget Reserves to Minimize Technical and Management Failure Risks During Complex Project Development
    • Aug
    • R.L. Dillon, M. E. Paté-Cornell, and S.D. Guikema, "Optimal Use of Budget Reserves to Minimize Technical and Management Failure Risks During Complex Project Development", IEEE Transactions on Engineering Management, 52(3), Aug 2005, pp. 382-395.
    • (2005) IEEE Transactions on Engineering Management , vol.52 , Issue.3 , pp. 382-395
    • Dillon, R.L.1    Paté-Cornell, M.E.2    Guikema, S.D.3
  • 10
    • 20344363679 scopus 로고    scopus 로고
    • Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering
    • E. Letier, and A. van Lamsweerde, "Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering", Proc., ACM/SIGSOFT 2004/FSE-12, 2004.
    • (2004) Proc., ACM/SIGSOFT 2004/FSE-12
    • Letier, E.1    van Lamsweerde, A.2


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