HeKatE

2007→2009 - HeKatE (Grant MNiSW N516 024 32/2878) Hybrid Knowledge Engineering: project coordination, XTT2 and ARD+ design methods concepts and tools

tag>design engine formal_analysis hekate intelligent_systems prolog rule-based_systems rules visual xtt ard current_project project