情報・システム-知能ソフトウェア工学(開催日:2019/07/12)

タイトル/著者/発表日/資料番号
ビジュアルプログラミングを用いたNuSMVのモデル生成支援環境

内藤 駿人(岡山県立大),  横川 智教(岡山県立大),  天嵜 聡介(岡山県立大),  阿萬 裕久(愛媛大),  有本 和民(岡山県立大),  

[発表日]2019-07-12
[資料番号]SS2019-1,KBSE2019-11
階層的な制御構造をもつシーケンス図間の整合性検証手法の開発

松本 明(岡山県立大),  横川 智教(岡山県立大),  天嵜 聡介(岡山県立大),  阿萬 裕久(愛媛大),  有本 和民(岡山県立大),  

[発表日]2019-07-12
[資料番号]SS2019-2,KBSE2019-12
継続渡しスタイルの関数型プログラミング学習のためのWeb実行環境の設計

小島 渚(広島市大),  橋本 知江美(広島市大),  島 和之(広島市大),  

[発表日]2019-07-12
[資料番号]SS2019-3,KBSE2019-13
GitHubを用いたソフトウェア開発PBLにおける学習者同士の貢献可視化システムの開発

宮下 弓槻(学芸大),  櫨山 淳雄(学芸大),  橋浦 弘明(日本工大),  

[発表日]2019-07-13
[資料番号]SS2019-7,KBSE2019-17
ソフトウェアテストのための制約付きディテクティングアレイの提案とSMTソルバを用いた生成

金 浩(阪大),  史 冊(上海立信会計金融学院),  土屋 達弘(阪大),  

[発表日]2019-07-13
[資料番号]SS2019-8,KBSE2019-18
バグ票の類似度に基づいたバグ位置推定手法の改善に向けた提案

安里 昌真(愛媛大),  阿萬 裕久(愛媛大),  川原 稔(愛媛大),  

[発表日]2019-07-13
[資料番号]SS2019-4,KBSE2019-14
画面遷移モデルに基づくユーザインタフェースパターンモデリングの一検討

小形 真平(信州大),  矢澤 幸也(信州大),  岡野 浩三(信州大),  

[発表日]2019-07-13
[資料番号]SS2019-9,KBSE2019-19
ソースコード特徴量を用いた機械学習によるソースコード品質の評価手法

槇原 啓介(阪大),  松下 誠(阪大),  井上 克郎(阪大),  

[発表日]2019-07-13
[資料番号]SS2019-5,KBSE2019-15
動的読込みを実現するためのMarkdownインタプリタの設計

澄川 靖信(首都大東京),  

[発表日]2019-07-13
[資料番号]SS2019-6,KBSE2019-16
Macaw:遺伝的アルゴリズムを用いた自動プログラム修正の進化過程の可視化ツール

富田 裕也(阪大),  肥後 芳樹(阪大),  ?本 真祐(阪大),  楠本 真二(阪大),  

[発表日]2019-07-14
[資料番号]SS2019-10,KBSE2019-20
分散処理を用いた自動プログラム修正の高速化

松本 淳之介(阪大),  肥後 芳樹(阪大),  松尾 裕幸(阪大),  有馬 諒(阪大),  ?本 真佑(阪大),  楠本 真二(阪大),  

[発表日]2019-07-14
[資料番号]SS2019-11,KBSE2019-21
複数コードクローン検出結果の比較・表示法

松島 一樹(阪大),  井上 克郎(阪大),  

[発表日]2019-07-14
[資料番号]SS2019-12,KBSE2019-22