메뉴 건너뛰기




Volumn , Issue , 2005, Pages

Modeling nonfunctional requirements: A basis for dynamic systems management

Author keywords

Application model; Capability; Component; Configuration; NFR; Nonfunctional requirement; Platform model; Software management; System management

Indexed keywords

APPLICATION PROGRAMS; BEHAVIORAL RESEARCH; COMPUTER SUPPORTED COOPERATIVE WORK; SOFTWARE ENGINEERING;

EID: 84888379511     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1083190.1083191     Document Type: Conference Paper
Times cited : (5)

References (12)
  • 3
    • 84944200168 scopus 로고    scopus 로고
    • Assume-guarantee reasoning for hierarchical hybrid systems
    • In M. D. D. Benedetto and A. L. Sangiovanni-Vincentelli, editors, of LNCS, Springer-Verlag GmbH
    • T. A. Henzinger, M. Minea, and V. Prabhu. Assume-guarantee reasoning for hierarchical hybrid systems. In M. D. D. Benedetto and A. L. Sangiovanni-Vincentelli, editors, Hybrid Systems: Computation and Control (HSCC), 4th International Workshop, volume 2034 of LNCS, pages 275-290. Springer-Verlag GmbH, 2001.
    • (2001) Hybrid Systems: Computation and Control (HSCC), 4th International Workshop , vol.2034 , pp. 275-290
    • Henzinger, T.A.1    Minea, M.2    Prabhu, V.3
  • 4
    • 85027573140 scopus 로고    scopus 로고
    • Anwendung der IEC 61508 im Automobil
    • 1/2004
    • M. Kieviet. Anwendung der IEC 61508 im Automobil. Elektronik Automotive, 1/2004:49-53, 2004.
    • (2004) Elektronik Automotive , pp. 49-53
    • Kieviet, M.1
  • 6
    • 84974687699 scopus 로고
    • Scheduling algorithms for multiprogramming in a hard-real-time environment
    • C. L. Liu and J. W. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM, 20(1):46-61, 1973.
    • (1973) J. ACM , vol.20 , Issue.1 , pp. 46-61
    • Liu, C.L.1    Layland, J.W.2
  • 11
    • 84864499772 scopus 로고    scopus 로고
    • AUTOSAR development partnership
    • AUTOSAR development partnership. Automotive open system architecture. http://www.autosar.org, 2005.
    • (2005) Automotive Open System Architecture


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