...
- 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.
...