Kusumoto Laboratory
  • リスト
  •  表 
  • LaTeX
  • BibTeX
List of works

国内会議(査読付き)
[1] 榛葉浩章, 岡野浩三, 楠本真二, "制約記述言語OCLとJMLの双方向変換手法の提案 ," ソフトウェア工学の基礎XX(日本ソフトウェア科学会FOSE 2013), 2013年11月. [FOSE2013Poster.pptx]
研究会・全国大会等
[1] 榛葉 浩章, 尾ノ上 博樹, 岡野 浩三, 楠本真二, "JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査手法の提案," 電子情報通信学会技術研究報告, volume 113, number 489, pages 19-24, 2014年3月. [document.pdf]
[2] 榛葉浩章, 花田健太郎, 岡野浩三, 楠本真二, "制約記述言語OCLとJMLのモデル駆動開発技法に基づいた双方向の変換手法の提案," 電子情報通信学会技術研究報告, volume 111, number 481, 2012年3月. [document.pdf]
学位論文
[1] 榛葉 浩章, "JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査," 修士学位論文, 大阪大学, 2014年. [main.pdf]
[2] 榛葉浩章, "Java Modeling LanguageからObject Constraint Languageへのモデル変換技法に基づいた変換手法の提案," , 2012年2月. [graduation-thesis.pdf]

Search

Tags

この検索内の頻出タグ: method:2 equals:2 Translation:2 RTE:2 OCL:2 Model:2 JML:2 verification:1 methods:1 java:1 hashcode:1 hashCode:1 formal:1 consistency:1 checking:1 Verification:1 Theories:1 Satisfiability:1 Modulo:1 Java:1 Formal:1

5 件の該当がありました. : このページのURL : HTML

Search: 簡易 | 詳細 || Language: 英語 | 日本語 || ログイン |

This site is maintained by fenrir.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.143548 seconds.