国际刊号:
0913-5685
序号 | 标题 | 作者 | 起始页 | 操作 |
---|---|---|---|---|
1 | STAMP/STPA単線列車例題に対する時間オートマトンモデル検査の適用と考察 | 岡野浩三, 小形真平, 楊盼... | 1 | |
2 | 凍結クロックを持つ稠密時間プッシュダウンオートマトンの到達可能性のための記号ゾーン解析手法について | 結緑祥冶, 平岡祥 | 7 | |
3 | マルウェア解析器BE-PUMによるパッカー同定 | 小川瑞史 | 13 | |
4 | メソッドレベルセマンティックバージョニングの提案 | 林純一, 肥後芳樹, 楠本真二 | 17 | |
5 | リファクタリング支援を目的としたメソッドのインライン化事例の特徴調査 | 山田悠貴, 上村恭平, 崔恩瀞... | 23 | |
6 | 既存コードの再利用によるユーティリティメソッドの自動生成 | 松本淳之介, 肥後芳樹, 下仲健斗... | 29 | |
7 | OSS開発における品質に関する議論の可視化に向けて | 中西駿太, 飯田元, 崔恩瀞 | 35 | |
8 | Javaプロジェクトにおける関数型イディオムの実態調査 | 田中紘都, 柗本真佑, 楠本真二 | 39 | |
9 | ソースコードの“自然さ”を用いたリファクタリング評価手法の検討 | 有馬諒, 楠本真二, 肥後芳樹 | 45 | |
10 | 実行トレースの共通性分析に基づく機能開始点の特定 | 中野真明貴, 小林隆志, 林晋平... | 51 |