This research project focusses on extended our current work concerning intensional views and constraints. We investigate advanced query mechanisms based on fuzzy logic, template querying, annotation technology and temporal logic. Furthermore we extend the IntensiVE tool suite such that it is possible to provide fine-grained feedback based on visualizations, support is offered for mining regularities in the source code and for fixing inconsistencies with respect to said source-code. By means of a tight cooperation with the Flemish company inno.com, we perform an industrial valorization of our research results.
|Effective start/end date||1/04/08 → 31/03/11|
- Artificial Intelligence
Flemish discipline codes
- Mathematical sciences