Automation

Automatic processing of textual user inputs

• Identification of information and intention in the text along with using existing knowledge
• Generation of textual responses on the basis of conceptual knowledge (NLG)

Software development

• Model analysis methods and validation based on flow analysis, rules, pattern matching, and semantic concepts
• Model synthesis methods based on semantic annotations and reasonsing
• Model transformations and code generation

Software re-use und re-engineering

• Software re-use by means of semantic annotations and reasoning
• Re-engineering based on code analysis and statistic methods