| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2017年度)
「from:2018-03-06 to:2018-03-06」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2018-03-06 11:30 |
沖縄 | 南大東島 | STAMP/STPA単線列車例題に対する時間オートマトンモデル検査の適用と考察 ○岡野浩三・小形真平・楊 盼（信州大）・岡本圭史（仙台高専）  SS2017-64 |
近年情報システムの大規模化複雑化にともない，情報システムの事故原因解明や 事故そのものの事前防止策に注目があつまってい... [more] |
SS2017-64 pp.1-6 |
| SS | 2018-03-06 12:00 |
沖縄 | 南大東島 | 凍結クロックを持つ稠密時間プッシュダウンオートマトンの到達可能性のための記号ゾーン解析手法について ○結縁祥治・平岡 祥（名大） SS2017-65 |
本研究では、稠密時間クロックをスタック上にプッシュすることのできる計算モ デルであるDTPDAに対してスタック上でク... [more] |
SS2017-65 pp.7-12 |
| SS | 2018-03-06 12:30 |
沖縄 | 南大東島 | Packer identification based on Malware analyzer BE-PUM ○Mizuhito Ogawa（JAIST） SS2017-66 |
[more] | SS2017-66 pp.13-16 |
| SS | 2018-03-06 14:30 |
沖縄 | 南大東島 | メソッドレベルセマンティックバージョニングの提案 ○林 純一・肥後芳樹・楠本真二（阪大） SS2017-67 |
ソフトウェア開発において利用されるライブラリには，機能追加や変更，バグ修正などによる時系列的変化を区別するためのバージョ... [more] | SS2017-67 pp.17-22 |
| SS | 2018-03-06 15:00 |
沖縄 | 南大東島 | リファクタリング支援を目的としたメソッドのインライン化事例の特徴調査 ○山田悠貴・上村恭平・崔 恩瀞（奈良先端大）・吉田則裕（名大）・飯田 元（奈良先端大） SS2017-68 |
メソッドのインライン化は, 呼びさされている側のメソッドを呼び出している側に展開するリファクタリングであり，開発者が実施... [more] | SS2017-68 pp.23-27 |
| SS | 2018-03-06 16:00 |
沖縄 | 南大東島 | 既存コードの再利用によるユーティリティメソッドの自動生成 ○松本淳之介・肥後芳樹・下仲健斗・楠本真二（阪大） SS2017-69 |
ユーティリティメソッドとは汎用的な処理をまとめたものであり，開発者がコーディングを行う際に頻繁に 利用するものである.ユ... [more] | SS2017-69 pp.29-34 |
| SS | 2018-03-06 16:30 |
沖縄 | 南大東島 | OSS開発における品質に関する議論の可視化に向けて ○中西駿太・崔 恩瀞・飯田 元（奈良先端大） SS2017-70 |
ソフトウェアの開発コストを削減するため，企業のソフトウェア開発現場においてOSS(オープンソースソフトウェア) の導入が... [more] | SS2017-70 pp.35-38 |
| SS | 2018-03-07 10:00 |
沖縄 | 南大東島 | Javaプロジェクトにおける関数型イディオムの実態調査 ○田中紘都・柗本真佑・楠本真二（阪大） SS2017-71 |
プログラミング言語は新しいパラダイムの登場や，それに伴う新しいイディオムの導入といった進化を経てきている．オブジェクト指... [more] | SS2017-71 pp.39-44 |
| SS | 2018-03-07 10:30 |
沖縄 | 南大東島 | ソースコードの“自然さ”を用いたリファクタリング評価手法の検討 ○有馬 諒・肥後芳樹・楠本真二（阪大） SS2017-72 |
リファクタリングとはソフトウェアの外部的振る舞いを保ちながら内部構造を改善する作業と定義されており，ソフトウェアの保守性... [more] | SS2017-72 pp.45-50 |
| SS | 2018-03-07 11:30 |
沖縄 | 南大東島 | 実行トレースの共通性分析に基づく機能開始点の特定 ○中野真明貴・野田訓広・小林隆志・林 晋平（東工大） SS2017-73 |
形式概念分析を利用した動的機能捜索手法には，入力である「シナリオと利用された機能とのマッピング」の作成が容易ではないとい... [more] | SS2017-73 pp.51-56 |
| SS | 2018-03-07 12:00 |
沖縄 | 南大東島 | 局所性鋭敏型ハッシュを用いたコードクローン検出のためのパラメータ決定手法 ○徳井翔梧（阪大）・吉田則裕（名大）・崔 恩瀞（奈良先端大）・井上克郎（阪大） SS2017-74 |
局所性鋭敏型ハッシュ (LSH) とは，高次元なデータを確率的にハッシュし，近傍点を見つけるアルゴリズムである．クローン... [more] | SS2017-74 pp.57-62 |
| SS | 2018-03-07 12:30 |
沖縄 | 南大東島 | 関数型言語における停止性検証のためのランキング関数の回帰推定 ○村本大起・佐藤亮介・鵜林尚靖・亀井靖高（九大） SS2017-75 |
[more] | SS2017-75 pp.63-68 |
| SS | 2018-03-07 15:00 |
沖縄 | 南大東島 | システムテストに対するユーザの利用形態に基づく優先度付きテストケース生成手法の提案 ○斎藤英美・利國 愛・中川雄一郎（日立） SS2017-76 |
組込みシステムでは，重大な不具合は早期に検出したいという要求がある．ユーザの実際の利用形態に類似するテストケースで発生す... [more] | SS2017-76 pp.69-74 |
| SS | 2018-03-07 15:30 |
沖縄 | 南大東島 | 品質保証からみた機械学習ソフトウェアの不確かさ ○中島 震（NII） SS2017-77 |
[more] | SS2017-77 pp.75-80 |
[研究会発表申込システムのトップページに戻る]