TAG: xtt
HQEd Description A visual editor for the XTT2 method, originally developed within the HeKatE project. See the HQed website. Concept, requirements, extension… | |
Mirella Mirella was a prototype design and implementation tool for the first version of the XTT method. See the Mirella website. Concept, design, implementati… |