EasyChair Smart SlideDocs/Log in
Title:Towards Graphical Feedback in the DiMo Learning Tool
Authors:Maurice Herwig, Norbert Hundeshagen and Martin Lange
Conference:FOMEO'22
Tags:formal modeling, graphical feedback, reductions and SAT-solving
Abstract:

In this talk we will present recent efforts on extending the DiMo specification language and the tool's capabilities for providing problem-specific (graphical) output. The tool is already present in FOMEO's list of presented tools.

 
Towards Graphical Feedback in the DiMo Learning Tool
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
1of15
1
2
3
4
Copyright © 2002 – 2024 EasyChair