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

国際会議
[1] Hiraoki Shimba, Takafumi Ohta, Hiroki Onoue, Kozo Okano, and Shinji Kusumoto, "Formal Verification Technique for Consistency Checking between Equals and Hashcode Methods in Java," In IWIN2014, September 2014. [desc]
研究会・全国大会等
[1] 藤田悠矢, 岡野浩三, 楠本真二, "異なるスキーマ間に対応するSQL文の整合性のAlloy Analyzerを用いた一検証手法," 電子情報通信学会技術研究報告, volume 113, number 159, pages 007-012, 2013年7月. [sigss1307_f-yuya.pdf]
学位論文
[1] 藤田悠矢, "JavaにおけるhashCodeメソッドの整合性検査手法の精度に関する調査および改善案の提案," 修士学位論文, 大阪大学, 2015年. [main.pdf]
[2] 榛葉 浩章, "JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査," 修士学位論文, 大阪大学, 2014年. [main.pdf]

Search

Tags

この検索内の頻出タグ: consistency:4 verification:3 java:3 hashcode:3 checking:3 methods:2 method:2 formal:2 equals:2 technique:1 statements:1 sql:1 schemas:1 proposal:1 precision:1 investigation:1 improvement:1 different:1 analyzer:1 alloy:1

4 件の該当がありました. : このページの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.042497 seconds.