pub:projects:hekate
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
pub:projects:hekate [2013/01/05 12:49] – draft gjn | pub:projects:hekate [2013/01/10 19:23] (current) – removed kkr | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ~~NOTOC~~ | ||
- | ====== HeKatE ====== | ||
- | |||
- | // | ||
- | |||
- | |||
- | <WRAP center round info 60%> | ||
- | * NCN Grant no. NCN N516 024 32/2878 {{ : | ||
- | * **Project Leader:** [[pub: | ||
- | * **Project coordinator: | ||
- | * **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:// | ||
- | |||
- | |||
- | Go back to -> [[start|projects]] |
pub/projects/hekate.1357390152.txt.gz · Last modified: 2013/01/05 12:49 by gjn