...
- Control Flow Graph Exploration / Visualization
Use pragmatics concepts (automatic layout, focus & context) for exploring/visualizing control flow graphs and specific paths, eg. as computed by OTAWA WCET analysis tool, eg. using Klighd. - Incremental Update for Klighd
Incremental update of Klighd data structure after editing. - OMG DD Format
Explore the mapping of KGraph / KRendering to the Diagram Definition format of the OMG. - SyncCharts and Actor Model Visualization
Develop an integrated viewer for SCCharts / SyncCharts and KAOM models using KLighD, including view management techniques such as focus & context and structure-based editing. - Visualizing Model Edits/Changes
Develop and implement methods to visualize a model while it is edited. A particular concern here is the preservation of the mental map.
Semantics and Synchronous Languages
...