Tomohiro Oda
Tomohiro Oda
Software Research Associates, Inc.
Verified email at sra.co.jp - Homepage
Title
Cited by
Cited by
Year
VDM-10 language manual
PG Larsen, K Lausdahl, N Battle, J Fitzgerald, S Wolff, S Sahara, ...
Tech. Rep. TR-001, The Overture Initiative, 2013
562013
Specification slicing in formal methods of software development
T Oda, K Araki
Proceedings of 1993 IEEE 17th International Computer Software and …, 1993
421993
VDMPad: a lightweight IDE for exploratory VDM-SL specification
T Oda, K Araki, PG Larsen
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, 33-39, 2015
152015
Potential Energy Surface-Based Automatic Deduction of Conformational Transition Networks and Its Application on Quantum Mechanical Landscapes of d-Glucose …
H Satoh, T Oda, K Nakakoji, T Uno, H Tanaka, S Iwata, K Ohno
Journal of Chemical Theory and Computation 12 (11), 5293-5308, 2016
132016
Overview of VDMPad: an interactive tool for formal specification with vdm
T Oda, K Araki
International Conference on Advanced Software Engineering and Information …, 2013
112013
Specification slicing in formal methods of software engineering
T Oda, K Araki
Proceedings of the Seventeenth International Computer Software and …, 1993
111993
VDM animation for a wider range of stakeholders
T Oda, Y Yamomoto, K Nakakoji, K Araki, PG Larsen
Proceedings of the 13th Overture Workshop, 18-32, 2015
92015
ViennaTalk and assertch: building lightweight formal methods environments on pharo 4
T Oda, K Araki, PG Larsen
Proceedings of the 11th edition of the International Workshop on Smalltalk …, 2016
62016
A formal modeling tool for exploratory modeling in software development
T Oda, K Araki, PG Larsen
IEICE Transactions on Information and Systems 100 (6), 1210-1217, 2017
52017
" Maizo"-chemistry Project: toward Molecular-and Reaction Discovery from Quantum Mechanical Global Reaction Route Mappings
H SATOH, T ODA, K NAKAKOJI, T UNO, S IWATA, K OHNO
Journal of Computer Chemistry, Japan 14 (3), 77-79, 2015
52015
Somethingit: A prototyping library for live and sound improvisation
T Oda, K Nakakoji, Y Yamamoto
2013 1st International Workshop on Live Programming (LIVE), 11-14, 2013
42013
説得性に基づく情報推薦手法の提案: 送り手の属性に着目したモデルと検証
小柴, 相原健郎, 小田朋宏, 星孝哲, 松原伸人, 森純一郎, 武田英明
情報処理学会論文誌 51 (8), 1452-1468, 2010
42010
記憶の想起と記録のためのライフログ・ブログ連携型支援手法の提案
小柴, 相原健郎, 森純一郎, 小田朋宏, 星孝哲, 松原伸人, 武田英明
情報処理学会論文誌 51 (1), 63-81, 2010
32010
Automated VDM-SL to Smalltalk Code Generators for Exploratory Modeling
PGL Tomohiro Oda, Keijiro Araki
the 14th Overture Workshop: Towards analytical tool chains, 2016
22016
発掘プロジェクト: 化学反応経路マップのインタラクティブ可視化に向けて
佐藤寛子, 小田朋宏, 中小路久美代, 宇野毅明, 田中宏明, 岩田覚, ...
情報処理学会, インタラクション, 2014
22014
Persuasive Navigation Mechanisms for Consumer Generated Media
T Oda, K Aihara, H Koshiba
Proceedings of the 2009 Symposium on Interactive Visual Information …, 2009
22009
Use-centric information re-presentation for creative knowledge work
T Oda, Y Yamamoto, K Nakakoji
Symposium on Interactive Visual Information Collections and Activity …, 2006
22006
ViennaTalk: An integrated specification environment focused on the early stage of the formal specification phase
T Oda, K Araki
Computer Software 34 (4), 129-143, 2017
12017
化学反応経路ネットワーク探索のためのビジュアルインタラクティビティのデザイン
中小路久美代, 小田朋宏, 佐藤寛子
SIG-AM 8 (01), 1-5, 2014
12014
文章執筆時の語彙や言葉遣いの複数案をプレビューするためのインタラクティビティのデザイン
中小路久美代, 小田朋宏, 山本恭裕
人工知能学会全国大会論文集 第 27 回全国大会 (2013), 4D15-4D15, 2013
12013
The system can't perform the operation now. Try again later.
Articles 1–20