메뉴 건너뛰기




Volumn 30, Issue 8, 2008, Pages 1561-1565

Domain knowledge based model checking

Author keywords

Domain knowledge; Latent business rule; Model checking; Ontology; Rule base

Indexed keywords

COMPUTER NETWORKS; INFORMATION SYSTEMS; INFORMATION THEORY; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; OBJECT ORIENTED PROGRAMMING; ONTOLOGY; SOFTWARE DESIGN; UNIFIED MODELING LANGUAGE;

EID: 51649099031     PISSN: 1001506X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article
Times cited : (2)

References (12)
  • 1
    • 17644403480 scopus 로고    scopus 로고
    • Toward formalizing domain modeling semantics in language syntax
    • Evermann J, Wand Y. Toward formalizing domain modeling semantics in language syntax[J]. IEEE Transactions on Software Engineering, 2005,31(1) :21-37.
    • (2005) IEEE Transactions on Software Engineering , vol.31 , Issue.1 , pp. 21-37
    • Evermann, J.1    Wand, Y.2
  • 2
    • 51649124147 scopus 로고    scopus 로고
    • Chinese source
  • 4
    • 51649110794 scopus 로고    scopus 로고
    • Chinese source
  • 5
    • 51649114939 scopus 로고    scopus 로고
    • Chinese source
  • 6
    • 0001952783 scopus 로고
    • Domian analysis; an introduction
    • Ruben P D. Domian analysis; an introduction[J]. Software Engineering Note,1990,15(2):47-54.
    • (1990) Software Engineering Note , vol.15 , Issue.2 , pp. 47-54
    • Ruben, P.D.1
  • 8
    • 51649107723 scopus 로고    scopus 로고
    • Chinese source
  • 9
    • 51649101728 scopus 로고    scopus 로고
    • Chinese source
  • 10
    • 33746087582 scopus 로고    scopus 로고
    • A metamodel and UML profile for rule-extended OWL dL ontologies-A complete reference
    • University Karlsruhe, Germany, ESWC 2006, LNCS, 4011
    • Saartje B, Peter H. A metamodel and UML profile for rule-extended OWL dL ontologies-A complete reference[D]. Institute AIFB, University Karlsruhe, Germany, ESWC 2006, LNCS, 4011,2006: 303-316.
    • (2006) Institute AIFB , pp. 303-316
    • Saartje, B.1    Peter, H.2


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