|
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;
DOMAIN KNOWLEDGE;
LATENT BUSINESS RULE;
RULE BASE;
MODEL CHECKING;
|
EID: 51649099031
PISSN: 1001506X
EISSN: None
Source Type: Journal
DOI: None Document Type: Article |
Times cited : (2)
|
References (12)
|