6 citations · 6 across the 3 of their papers we have counts for
4 papers
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…
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…
Specification Slicing for VDM-SL
Tomohiro Oda, Han-Myung Chang
The executable specification is one of the powerful tools in lightweight formal software development. VDM-SL allows the explicit and executable definition of operations that refere…
Proceedings of the 18th International Overture Workshop
John Fitzgerald, Tomohiro Oda, Hugo Daniel Macedo
This volume contains the papers presented at the 18th International Overture Workshop, held online on 7th December 2020. This event was the latest in a series of workshops around t…