pub:projects:hekate
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
pub:projects:hekate [2009/08/16 15:45] – removed wtf | pub:projects:hekate [2013/01/10 12:57] – external edit 127.0.0.1 | ||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ~~NOTOC~~ | ||
+ | ====== HeKatE ====== | ||
+ | |||
+ | // | ||
+ | |||
+ | |||
+ | <WRAP center round info 60%> | ||
+ | * NCN Grant no. NCN N516 024 32/2878 {{ : | ||
+ | * **Project Leader:** [[pub: | ||
+ | * **Project coordinator: | ||
+ | * **Timeline: | ||
+ | * **Duration: | ||
+ | * **Webpage: | ||
+ | </ | ||
+ | |||
+ | ===== Introduction ===== | ||
+ | |||
+ | The research project regards Software Engineering based on Knowledge Engineering. | ||
+ | The scope of the project includes but it is not limited to Knowledge Representation, | ||
+ | Main areas include: | ||
+ | * Knowledge Representation Methods | ||
+ | * Software Design Methods based on Knowledge Engineering | ||
+ | * Knowledge-based Runtime Environments for Standalone and Embedded Systems | ||
+ | |||
+ | The main HeKatE Web Page: [[http:// | ||
+ | |||
+ | ===== Motivation ===== | ||
+ | * There is a //semantic gap// in the contemporary Software Engineering which should be minimized | ||
+ | * Designed Knowledge Base is a ' | ||
+ | * The Knowledge Base can be verified and its proper behavior can be assured. | ||
+ | * The Knowledge Base can be easily extended to meet new requirements, | ||
+ | |||
+ | ===== Results ===== | ||
+ | * [[http:// | ||
+ | * [[http:// | ||
+ | * knowledge concetualization with [[http:// | ||
+ | * rulebase formalization with [[http:// | ||
+ | * the [[http:// | ||
+ | * conceptual modeling with [[http:// | ||
+ | * logical design with [[http:// | ||
+ | * automated implementation with [[http:// | ||
+ | * knowledge translation with [[http:// | ||
+ | * rule-based knowledgebase is: | ||
+ | * described in a human-readable textual [[http:// | ||
+ | * serialized to a machine-readable XML [[http:// | ||
+ | * number of [[https:// | ||
+ | * **[[http:// | ||
+ | |||
+ | {{tag> | ||
+ | |||
+ | Go back to -> [[start|projects]] |