133
Voted
ITS
2004
Springer
2004
Springer
Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning
15 years 8 months ago
Abstract. This paper describes the design of a tool to support learners in simulation-based discovery learning environments. The design redesigns and extents a previous tool to ove...