메뉴 건너뛰기




Volumn , Issue , 2013, Pages 568-577

A framework for completeness in requirements engineering: An application in aircraft maintenance scenario

Author keywords

aircraft maintenance scenario; Completeness; requirements elicitation; Requirements Engineering; Systems Engineering

Indexed keywords

AIRCRAFT MAINTENANCE; CIVIL AIRCRAFTS; COMPLETENESS; ENTIRE SYSTEM; REQUIREMENTS ELICITATION;

EID: 84891683364     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3233/978-1-61499-302-5-568     Document Type: Conference Paper
Times cited : (3)

References (18)
  • 2
    • 84891670791 scopus 로고    scopus 로고
    • Business Dictionary, Maintainability Acessed on: 04 Apr
    • Business Dictionary, Maintainability, Available at: http://www. businessdictionary.com/definition/maintainability.html, Acessed on: 04 Apr 2013
    • (2013)
  • 4
    • 84881200873 scopus 로고    scopus 로고
    • Systems concurrent engineering to develop an aeronautical navigation system
    • G. Loureiro, C.E.V. Ribeiro, A.G. Adinolfi, R.C.B. Andrade, Systems Concurrent Engineering to Develop an Aeronautical Navigation System. Product (IGDP) 8 (2010), 16-31
    • (2010) Product (IGDP) , vol.8 , pp. 16-31
    • Loureiro, G.1    Ribeiro, C.E.V.2    Adinolfi, A.G.3    Andrade, R.C.B.4
  • 9
    • 0004020422 scopus 로고    scopus 로고
    • 2nd Edition, Redmond: Microsoft Press
    • K. E. Wiegers, Software Requirements, 2nd Edition, Redmond: Microsoft Press, 2003, v.1, 544 p
    • (2003) Software Requirements , vol.1 , pp. 544
    • Wiegers, K.E.1
  • 11
    • 84891692059 scopus 로고    scopus 로고
    • A framework for dependability and completeness in requirements engineering
    • Rio de Janeiro, ProceedingsRio de Janeiro
    • M.M.N. Zenun, G. Loureiro, A Framework for Dependability and Completeness in Requirements Engineering, In: Latin American Symposium on Dependable Computing, 6th, 2013, Rio de Janeiro, ProceedingsRio de Janeiro, 2013 1-4
    • (2013) Latin American Symposium on Dependable Computing, 6th 2013 , pp. 1-4
    • Zenun, M.M.N.1    Loureiro, G.2
  • 13
    • 0034512414 scopus 로고    scopus 로고
    • Completeness in formal specification language design for process-control systems
    • New York, Proceedings New York, ACM Press
    • N. Leveson, Completeness in formal specification language design for process-control systems, In: Workshop on Formal Methods in Software Practice, 3rd, 2000, New York, Proceedings New York, ACM Press, 2000. p.1-8
    • (2000) Workshop on Formal Methods in Software Practice, 3rd 2000 , pp. 1-8
    • Leveson, N.1


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