情報・システム-ソフトウェアサイエンス(開催日：2013/01/03)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2013/1/3
[資料番号]
目次

,  

[発表日]2013/1/3
[資料番号]
DTD存在下における兄弟軸を含むPositive XPathクエリの恒真性判定問題(論理と形式手法)

楠 洋平,  橋本 健二,  石原 靖哲,  藤原 融,  

[発表日]2013/1/3
[資料番号]SS2012-46
制約付き項のインスタンスを受理する制約付き木オートマトンの構成法(論理と形式手法)

中野 靖大,  西田 直樹,  酒井 正彦,  坂部 俊樹,  草刈 圭一朗,  

[発表日]2013/1/3
[資料番号]SS2012-47
リファインメント・プランニング(論理と形式手法)

中島 震,  

[発表日]2013/1/3
[資料番号]SS2012-48
APIを用いた言語拡張のためのCOINSを用いた処理系実装の試み(アルゴリズムと言語処理系)

塩出 拓也,  川端 英之,  北村 俊明,  

[発表日]2013/1/3
[資料番号]SS2012-49
Malbolge低級アセンブリプログラミングにおける制御命令の配置設計のためのSATソルバの利用(アルゴリズムと言語処理系)

安藤 聡,  酒井 正彦,  坂部 俊樹,  草刈 圭一朗,  西田 直樹,  

[発表日]2013/1/3
[資料番号]SS2012-50
パラメータ値に関する制約を考慮したランダムテストの不具合検出率について(テスト)

重岡 大樹,  小島 英春,  土屋 達弘,  

[発表日]2013/1/3
[資料番号]SS2012-51
テスト実施状況のリアルタイムな可視化を行う単体テスト可視化ツール"Jvis"の開発(テスト)

松岡 慎吾,  片山 徹郎,  

[発表日]2013/1/3
[資料番号]SS2012-52
ソフトウェア文書の抽象化に関する一考察(文書とモデリング)

里中 真人,  伊豫田 善隆,  大西 淳,  

[発表日]2013/1/3
[資料番号]SS2012-53
Simulinkモデルの保守性向上に向けたクラスタリングおよびUMLモデルとの双方向変換に関する研究(文書とモデリング)

小澤 貴之,  鷲崎 弘宜,  深澤 良彰,  

[発表日]2013/1/3
[資料番号]SS2012-54
デザインパターン検出ツールを用いた汎化関係の追加に基づくパターン適用可能箇所検出手法(プログラム解析と開発支援)

山崎 康生,  高田 喜朗,  

[発表日]2013/1/3
[資料番号]SS2012-55
オープンソースソフトウェアにおけるソフトウェアライセンス間の包含関係の調査(プログラム解析と開発支援)

眞鍋 雄貴,  井上 克郎,  

[発表日]2013/1/3
[資料番号]SS2012-56
プリプロセス命令の制御構造を利用したフィーチャ間の依存性解析(プログラム解析と開発支援)

渥美 紀寿,  小林 隆志,  阿草 清滋,  

[発表日]2013/1/3
[資料番号]SS2012-57
Androidアプリケーションの運用時消費電力分析(プログラム解析と開発支援)

古庄 裕貴,  久住 憲嗣,  神山 剛,  稲村 浩,  中西 恒夫,  福田 晃,  

[発表日]2013/1/3
[資料番号]SS2012-58
複写される方へ

,  

[発表日]2013/1/3
[資料番号]
Notice for Photocopying

,  

[発表日]2013/1/3
[資料番号]
奥付

,  

[発表日]2013/1/3
[資料番号]
裏表紙

,  

[発表日]2013/1/3
[資料番号]