ソフトウェア・シンポジウム 2013 論文・報告

ソフトウェア・シンポジウム 2013 にご投稿いただいた論文・報告に対して，プログラム委員会で審査を行い，下記を採択いたしました．

皆さま，ご執筆，ご投稿いただき，ありがとうございました．

セッション 1: テスト 1
セッション 2: 要件定義と計画
セッション 3: テスト 2
セッション 4: 形式手法 1
セッション 5: 形式手法 2

セッション 1: テスト 1

[01_研究論文] 「テストケース距離空間に基づいたソフトウェア信頼性評価手法に関する考察」
竹腰祐輝，岡村寛之，土肥正 (広島大学)

[02_研究論文] 「0-1 計画モデルを用いたコードレビュー計画法の有効性に関する実証的考察」
井上慎也，阿萬裕久 (愛媛大学)

[03_経験論文] 「N-Switch カバレッジテストの問題点と解決策」
秋山浩一 (富士ゼロックス)

[04_経験論文] 「高信頼性組込みシステムの実機タイミング試験」
山内直，岩井重陽 (セック)

[05_経験論文] 「PBL 形式による組込みシステム教育事例－プロセス適応による品質特性の実現－」
鈴木正人 (北陸先端科学技術大学院大学)

セッション 2: 要件定義と計画

[22_経験論文] 「形式仕様記述手法を用いた FeliCa カード開発におけるテスト実施効率の考察」
中津川泰正，栗田太郎 (ソニー)，荒木啓二郎 (九州大学)

[07_経験論文] 「ET ロボコンを対象とした D-Case 記述事例」
上野肇 (富士ゼロックス)，松野裕 (名古屋大学)

[08_研究論文] 「Social BPM による要件定義の KPI ツリー共有システムでのコントロール」
宗平順己 (オージス総研)

[09_研究論文] 「種別ごとに要求獲得状況を観測するための分類ルールと解析ツール RCT の提案」
中谷多哉子，佐野俊一，岡野道太郎 (筑波大学)，近藤城史 (名古屋経営短期大学)，白銀純子 (東京女子大学)，藤原由希子 (日本電気)，妻木俊彦 (国立情報学研究所)

[10_研究論文] 「回帰木に基づいた工数見積りモデルにおける Moving Window 法の有効性について」
井上雄太，天嵜聡介 (岡山県立大学)

セッション 3: テスト 2

[11_経験論文] 「ブラックボックステストでのテストコード自動生成によるコンポーネントテスト工数の削減に関する取り組み」
稲垣弘樹 (エヌ・ティ・ティ・データ)

[12_研究論文] 「ソフトウェアの実装情報に基づく決定表を活用した論理検証手法」
植月啓次 (フェリカネットワークス)

[13_経験論文] 「拡張デシジョンテーブルを用いたテスト品質の改善策の報告」
清水有樹，田処将司 (DTS)

[14_研究論文] 「数理計画モデルに基づいた効果的なテスト選択手法の提案と実践」
小笠原秀人，佐々木愛美 (東芝)，阿萬裕久 (愛媛大学)

[15_事例報告] 「プロセスアセスメント結果の現実的・効果的活用方法の提案」
安達賢二 (HBA)

セッション 4: 形式手法 1

[16_経験論文] 「VDM と USDM を組み合わせた仕様記述方法 ―VDM による USDM 仕様記述の改善提案―」
宮本陽子 (メタテクノ)，日下部雄三 (富士通九州ネットワークテクノロジーズ)，石川冬樹 (国立情報学研究所)

[17_経験論文] 「平易化した形式仕様記述を用いたテストの実践と考察」
村山純一，共田基泰，岡島和裕 (セック)

[18_事例報告] 「エネルギー管理システムにおける VDM と Java ソースコード自動生成の適用事例」
植木雅幸 (SCSK)

[19_研究論文] 「ライブ UI プロトタイピングに向けたマルチ言語環境 SOMETHINGit」
小田朋宏，中小路久美代 (SRA)，山本恭裕 (東京工業大学)

セッション 5: 形式手法 2