| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2014年度)
「from:2015-03-09 to:2015-03-09」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2015-03-09 09:30 |
沖縄 | 沖縄県青年会館 | 構成子に基づく順序ソートパラメータ化仕様の十分完全性について ○中村正樹（富山県立大）・ガイナ ダニエル ミルチェア・緒方和博・二木厚吉（北陸先端大）  SS2014-55 |
代数仕様言語CafeOBJでは，構成子に基づく順序ソート(CBOS)代数をモデルに持つ仕様を記述できる．また，パラメータ... [more] | SS2014-55 pp.1-6 |
| SS | 2015-03-09 09:55 |
沖縄 | 沖縄県青年会館 | 環境許容性のあるリアクティブシステム合成法 ○上野篤史・冨田 尭・島川昌也・萩原茂樹・米崎直樹（東工大） SS2014-56 |
形式的に記述された仕様からリアクティブシステム（RS）を自動合成する手法では，仕様$varphi_{sys}$を満たす振... [more] | SS2014-56 pp.7-12 |
| SS | 2015-03-09 10:20 |
沖縄 | 沖縄県青年会館 | SNIPER: An LLVM-based Automatic Fault Localization Tool for Imperative Programs ○Si-Mohamed Lamraoui・Shin Nakajima（NII） SS2014-57 |
[more] | SS2014-57 pp.13-18 |
| SS | 2015-03-09 11:00 |
沖縄 | 沖縄県青年会館 | 抽象化を考慮したデータフロートレーサビリティ ○郭 衆小・鵜林尚靖・艾 迪・李 沛源・李 宇寧・深町拓也・細合晋太郎・亀井靖高（九大） SS2014-59 |
[more] | SS2014-59 pp.25-30 |
| SS | 2015-03-09 11:25 |
沖縄 | 沖縄県青年会館 | 動的データ依存集合の発生確率を用いた欠陥箇所特定支援手法の実装及び評価 ○中野瑞樹・大沼俊輔・小林隆志（東工大）・石尾 隆（阪大） SS2014-58 |
デバッグ作業では不具合から感染状態を遡ることで欠陥箇所を特定し修正する必要がある． 欠陥箇所特定を支援する既存手法の多... [more] |
SS2014-58 pp.19-24 |
| SS | 2015-03-09 13:00 |
沖縄 | 沖縄県青年会館 | Toppers/SSPカーネルのタスク制御に対する低レベルコード証明 ○荒川 洸・結縁祥治（名大） SS2014-60 |
組み込みOSは組み込みシステム上で動作するソフトウェアの振舞い全体を構成するための基盤である．組み込みOSは実世界のシス... [more] | SS2014-60 pp.31-36 |
| SS | 2015-03-09 13:25 |
沖縄 | 沖縄県青年会館 | 適応的重点サンプリングによる統計的モデル検査手法 ○西木 悠・結縁祥治（名大） SS2014-61 |
本研究では,フォールトツリー解析と適応的重点サンプリングを使用した統計的モデル検査手法を提案する.統計的モデル検査はモン... [more] | SS2014-61 pp.37-42 |
| SS | 2015-03-09 13:50 |
沖縄 | 沖縄県青年会館 | シーケンス図が持つメッセージ順序の曖昧性除去手法の提案 ○楠 野明・岡野浩三・楠本真二（阪大） SS2014-62 |
本稿は，仕様設計の段階で使用されるシーケンス図においてメッセージ順に関する欠陥を検出，および修正する手法を提案する．提案... [more] | SS2014-62 pp.43-48 |
| SS | 2015-03-09 14:15 |
沖縄 | 沖縄県青年会館 | 要求フレームによる非機能要求の検証 松本佑真・○大西 淳（立命館大） SS2014-63 |
要求仕様における機能要求の正しさを検証するために筆者らは要求フレームモデルを用いた検証手法を開発してきた．本稿では，要求... [more] | SS2014-63 pp.49-54 |
| SS | 2015-03-09 14:55 |
沖縄 | 沖縄県青年会館 | 社会としてのOSSプロジェクトを解析するソーシャルネットワークマイニングツールColi ○川島関夫・亀井靖高・鵜林尚靖（九大） SS2014-64 |
オープンソースソフトウェア（OSS）開発では，メーリングリストを用いて，追加機能やバグ修正などプロジェクトの開発方針に関... [more] | SS2014-64 pp.55-60 |
| SS | 2015-03-09 15:20 |
沖縄 | 沖縄県青年会館 | 複数のプロジェクトを対象としたクローンの系譜にもとづくソースコード再利用分析手法の提案 ○森脇匠哉・堀田圭佑・井垣 宏・井上克郎・楠本真二（阪大） SS2014-65 |
一般に，ソースコードの再利用はソフトウェア開発における生産性や信頼性，コスト等の改善に繋がると言われている． 一方で，... [more] |
SS2014-65 pp.61-66 |
| SS | 2015-03-09 15:45 |
沖縄 | 沖縄県青年会館 | 相関ルールマイニングを用いたソースコードの修正候補の推薦 ○切貫弘之・堀田圭佑・肥後芳樹・楠本真二（阪大） SS2014-66 |
[more] | SS2014-66 pp.67-72 |
| SS | 2015-03-09 16:10 |
沖縄 | 沖縄県青年会館 | 改版履歴の分析に基づく変更支援手法における時間的近接性と大規模コミットの影響 ○森 達也・Anders Mikael Hagward・小林隆志（東工大） SS2014-67 |
改版履歴の分析によってファイルの同時変更ルールを抽出し，次に変更すべき箇所を推薦することで開発者への支援を行う研究が進め... [more] | SS2014-67 pp.73-78 |
| SS | 2015-03-09 16:35 |
沖縄 | 沖縄県青年会館 | 機械学習を用いた省略識別子の復元手法 ○岡嶋秀記・水野 修（京都工繊大） SS2014-68 |
ソースコードの可読性はソフトウェアを開発・保守する上で重要な要素である． 識別子はソースコードを正しく理解するため... [more] |
SS2014-68 pp.79-84 |
| SS | 2015-03-10 09:30 |
沖縄 | 沖縄県青年会館 | 木構造データを扱う関数の逆Unfold問題の発見的解法 ○加藤友郁・長島正憲・酒井正彦・西田直樹・坂部俊樹（名大） SS2014-69 |
Unfold/Fold変換はプログラム変換や定理証明などに広く利用されている． Unfold変換とFold変換はそれぞ... [more] |
SS2014-69 pp.85-90 |
| SS | 2015-03-10 09:55 |
沖縄 | 沖縄県青年会館 | 制約付き項書換え系における関数合成の可換性を自動証明するためのヒューリスティック ○栗木隆太朗・西田直樹・酒井正彦・坂部俊樹（名大） SS2014-70 |
制約付き項書換え系における帰納的定理を書換え帰納法で検証するには,適切な補題等式を与える必要がある場合が多い.制約付き項... [more] | SS2014-70 pp.91-96 |
| SS | 2015-03-10 10:35 |
沖縄 | 沖縄県青年会館 | Integrating Online Presentation and Courseware Production to Support Higher Education on the WebELS Platform ○Mohamed Osamnia（SOKENDAI）・Arjulie John Berena・Hitoshi Okada・Haruki Ueno（NII） SS2014-71 |
In higher education, the teaching methodologies are changing... [more] | SS2014-71 pp.97-102 |
| SS | 2015-03-10 11:00 |
沖縄 | 沖縄県青年会館 | Javaプログラムの開発履歴を用いたアクセス修飾子過剰性の推移原因分析 ○大西理功（阪大）・小堀一雄（NTTデータ）・松下 誠・井上克郎（阪大） SS2014-72 |
Java では，プログラムの保守性および再利用性を高めるカプセル化などを実現するために，アクセス修飾子が定義されている．... [more] | SS2014-72 pp.103-108 |
| SS | 2015-03-10 11:25 |
沖縄 | 沖縄県青年会館 | 変数に着目した部分プログラム抽出によるコードレビュー手法の提案 ○加藤大典・蜂巣吉成・吉田 敦・阿草清滋（南山大） SS2014-73 |
ソフトウェア開発において，コードレビューが行われている． レビューによって発見されたコードの問題は，発見された箇所以外... [more] |
SS2014-73 pp.109-114 |
[研究会発表申込システムのトップページに戻る]