|
HJEd
Description
A visual editor for the ARD+ method developed within the HeKatE project.
See the HJed website.
Concept, requirements, supervision: Grzegorz… |
|
HQEd
Description
A visual editor for the XTT2 method, originally developed within the HeKatE project.
See the HQed website.
Concept, requirements, extension… |
|
HeaRT
Description
Runtime environment and engine for the XTT2 method and the HMR representation, originally developed within the HeKatE project.
Main feaures… |
|
Loki
Loki (short for Logic in Wiki) is a semantic wiki implementation based on strong logical representation.
In the “Loki Family” there are also other projec… |
|
VARDA
Description
A Prolog-based editor prototype for the ARD+ method developed within the HeKatE project.
See the VARDA website.
Concept, requirements, des… |
