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

論文誌
[1] 森恵弥佳, 岡野浩三, 楠本真二, "Alloy Analyzerを用いた表明に関する欠陥の検出手法 -JMLによる表明記述に対して-," コンピュータソフトウェア, volume 30, number 3, pages 187-193, 2013年8月.
研究会・全国大会等
[1] 藤田悠矢, 岡野浩三, 楠本真二, "異なるスキーマ間に対応するSQL文の整合性のAlloy Analyzerを用いた一検証手法," 電子情報通信学会技術研究報告, volume 113, number 159, pages 007-012, 2013年7月. [sigss1307_f-yuya.pdf]
[2] 森恵弥佳, 岡野浩三, 楠本真二, "在庫管理プログラムに対する Alloy Analyzer を用いた検証事例," 情報処理学会シンポジウムシリーズ ウィンターワークショップ2013・イン・那須, volume 2013, number 1, pages 5-6, 2013年1月. [desc]

Search

Tags

この検索内の頻出タグ: analyzer:3 alloy:3 verification:2 method:2 warehouse:1 study:1 statements:1 sql:1 speci:1 schemas:1 program:1 management:1 jml:1 different:1 detecting:1 defects:1 consistency:1 cations:1 case:1 annotations:1

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