메뉴 건너뛰기




Volumn 1861, Issue , 2000, Pages 837-851

Including diagnostic information in configuration models

Author keywords

[No Author keywords available]

Indexed keywords

CONFIGURATION MODEL; CONFIGURATION PROCESS; DECLARATIVE SEMANTICS; DIAGNOSTIC INFORMATION; DIAGNOSTIC MODEL; ERROR CONDITION; FORMAL MODEL; GNU/LINUX; LOGIC PROGRAMS; RULE-BASED LANGUAGE; SMODELS SYSTEMS; SOFTWARE CONFIGURATION; STABLE MODEL SEMANTICS; USER REQUIREMENTS;

EID: 84867785094     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44957-4_56     Document Type: Conference Paper
Times cited : (7)

References (12)
  • 1
    • 84885923339 scopus 로고    scopus 로고
    • Available at
    • Debian GNU/Linux. Available at: http://www.debian.org.
    • Debian GNU/Linux
  • 2
    • 0021509216 scopus 로고
    • Linear-time algorithms for testing the satis-Ability of propositional horn formulae
    • W.F. Dowling and J.H. Gallier. Linear-time algorithms for testing the satis-Ability of propositional Horn formulae. Journal of Logic Programming, 3:267-284, 1984.
    • (1984) Journal of Logic Programming , vol.3 , pp. 267-284
    • Dowling, W.F.1    Gallier, J.H.2
  • 10
    • 4243410316 scopus 로고    scopus 로고
    • Research Report A 55, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Helsinki, Finland December
    • . T. Syrjänen. A rule-based formal model of software con-guration. Research Report A 55, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Helsinki, Finland, December 1999.
    • (1999) A Rule-based Formal Model of Software Con-guration
    • Syrjänen, T.1
  • 12
    • 0031095148 scopus 로고    scopus 로고
    • Con-guration-design problem solving
    • March-April
    • B. Wielinga and G. Schreiber. Con-guration-design problem solving. IEEE Expert, 12 2:49-56, March-April 1997.
    • (1997) IEEE Expert , vol.12 , Issue.2 , pp. 49-56
    • Wielinga, B.1    Schreiber, G.2


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