|
Adder
* 2005->2006 - Adder (Grant KBN 4 T11C 035 2) research on formal methods in design of correct real-time and embedded systems, including rule-based syst… |
|
Mirella
* 2003->2004 - Mirella (Grant KBN 4 T11C 027 24) Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems: propos… |
|
Mirella
Mirella was a prototype design and implementation tool for the first version of the XTT method.
See the Mirella website.
Concept, design, implementati… |
|
Regulus
* 1999->2001 - Regulus (Grant KBN 8 T11C 019 17) research on formal methods in knowledge engineering and artificial intelligence: analysis of Prolog-… |