Online edition: ISSN 2432-6380
[TOP] | [2016] | [2017] | [2018] | [2019] | [2020] | [2021] | [2022] | [Japanese] / [English]
KBSE2019-11
ビジュアルプログラミングを用いたNuSMVのモデル生成支援環境
○内藤駿人・横川智教・天嵜聡介（岡山県立大）・阿萬裕久（愛媛大）・有本和民（岡山県立大）
pp. 41 - 46
KBSE2019-12
階層的な制御構造をもつシーケンス図間の整合性検証手法の開発
○松本 明・横川智教・天嵜聡介（岡山県立大）・阿萬裕久（愛媛大）・有本和民（岡山県立大）
pp. 47 - 52
KBSE2019-13
継続渡しスタイルの関数型プログラミング学習のためのWeb実行環境の設計
○小島 渚・橋本知江美・島 和之（広島市大）
pp. 53 - 58
KBSE2019-14
バグ票の類似度に基づいたバグ位置推定手法の改善に向けた提案 ～ TraceScore値の分配に関する比較実験 ～
○安里昌真・阿萬裕久・川原 稔（愛媛大）
pp. 99 - 104
KBSE2019-15
ソースコード特徴量を用いた機械学習によるソースコード品質の評価手法
○槇原啓介・松下 誠・井上克郎（阪大）
pp. 105 - 110
KBSE2019-16
動的読込みを実現するためのMarkdownインタプリタの設計
○澄川靖信（首都大東京）
pp. 111 - 116
KBSE2019-17
GitHubを用いたソフトウェア開発PBLにおける学習者同士の貢献可視化システムの開発
○宮下弓槻・櫨山淳雄（学芸大）・橋浦弘明（日本工大）
pp. 117 - 122
KBSE2019-18
ソフトウェアテストのための制約付きディテクティングアレイの提案とSMTソルバを用いた生成
○金 浩（阪大）・史 冊（上海立信会計金融学院）・土屋達弘（阪大）
pp. 123 - 127
KBSE2019-19
画面遷移モデルに基づくユーザインタフェースパターンモデリングの一検討
○小形真平・矢澤幸也・岡野浩三（信州大）
pp. 129 - 134
KBSE2019-20
Macaw：遺伝的アルゴリズムを用いた自動プログラム修正の進化過程の可視化ツール
○富田裕也・肥後芳樹・柗本真祐・楠本真二（阪大）
pp. 135 - 140
KBSE2019-21
分散処理を用いた自動プログラム修正の高速化
○松本淳之介・肥後芳樹・松尾裕幸・有馬 諒・柗本真佑・楠本真二（阪大）
pp. 141 - 146
KBSE2019-22
複数コードクローン検出結果の比較・表示法
○松島一樹・井上克郎（阪大）
pp. 147 - 152
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．