6 citations · 6 across the 3 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
physics.ed-ph2026
Data-driven modeling in the introductory physics laboratory: Scaling analysis and data collapse in the specific heat of water experiment
Kazumasa Kushida, Tomohiro Oda, Koji Yamaguchi
We present a data-driven redesign of the classic specific-heat-of-water experiment that uses scaling analysis and data collapse for model construction rather than beginning with a…
cs.SE2026
Trace-Based Execution-Level Observability of VDM-SL Specifications
Tomohiro Oda, Han-Myung Chang
VDM has been pursuing rigorous verification through mathematical theorem proving and software testing via simulated execution. Animation through an interpreter enables validation o…