| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, MSS (共催) |
2024-01-18 10:25 |
石川 | 金沢商工会議所会館（石川県金沢市） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
プログラムの入れ子構造を考慮し実行時間の部分的計測を用いたパラメトリック実行時間解析手法とその評価 ○中西優元・中田明夫（広島市大）  MSS2023-62 SS2023-41 |
本研究では，実時間ソフトウェア再利用のためのパラメトリック実行時間解析手法を提案する．実時間制約を持つソフトウェアの異な... [more] | MSS2023-62 SS2023-41 pp.58-63 |
| NS | 2022-10-06 09:15 |
北海道 | 北海道大学 + オンライン開催 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
［依頼講演］FAネットワーク向けPLCプログラム解析を用いた通信タイミング設計手法の提案 長川大介・○小川知剛・滝田大介（三菱電機） NS2022-89 |
FA (Factory Automation)ネットワークでは、機器の制御回数を増やすことによる生産性向上や多数の機器を... [more] | NS2022-89 pp.39-59 |
| SS | 2020-03-05 10:50 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
Rustプログラムの情報流解析のための型システム ○長谷川健太（立命館大）・桑原寛明（南山大）・國枝義敏（立命館大） SS2019-53 |
本稿では，Rustプログラムの情報流解析のための型システムを提案する． プログラミング言語Rustの言語機能として危険... [more] |
SS2019-53 pp.73-78 |
| SS, MSS (共催) |
2020-01-14 16:30 |
広島 | 広島市立大学 サテライトキャンパス | MapReduce 型の並列処理によるコードクローン検出アルゴリズムと試験的な実装 ○神谷年洋（島根大）・崔 恩瀞（京都工繊大） MSS2019-48 SS2019-32 |
MapReduce 型の並列処理を取り入れた,大規模なコードベースに適用可能なスケーラビリティを持つタイ プ 3 コー... [more] |
MSS2019-48 SS2019-32 pp.43-48 |
| SS | 2019-03-05 14:25 |
沖縄 | 沖縄産業支援センター | ライブラリ進化への追随のためのソフトウェア修正の共有手法の提案 ○渥美紀寿（京大）・桑原寛明（南山大） SS2018-78 |
ソフトウェア開発においてライブラリのバージョン進化に伴なう更新作業は，開発中のソフトウェアが提供すべき機能の本質的な問題... [more] | SS2018-78 pp.157-162 |
| TL | 2018-10-28 13:00 |
北海道 | 独立行政法人国立高等専門学校機構 函館工業高等専門学校 | プログラム構造パターンとそれらに対する識別子命名との関係付け調査 ○間嶋義喜（阪電通大）・廣川佐千男（九大）・竹内和広（阪電通大） TL2018-40 |
プログラム言語の仕様にもよるが，変数名やクラス名，メソッド名など，識別子には自然言語による命名がなされる． そのような... [more] |
TL2018-40 pp.7-12 |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-24 13:50 |
兵庫 | 神戸情報大学院大学 | プログラムグラフによるCソースコードの表現と解析 ○大久保建男（岩手県立大）・福原和哉（i-MOS）・猪股俊光・杉野栄二・新井義和・今井信太郎（岩手県立大） CAS2016-64 MSS2016-44 |
プログラムグラフは，プログラムに含まれている関数や変数をノードとし，関数どうしの関係，関数と変数の関係，変数どうしの関係... [more] | CAS2016-64 MSS2016-44 pp.37-42 |
| SS | 2015-03-09 11:25 |
沖縄 | 沖縄県青年会館 | 動的データ依存集合の発生確率を用いた欠陥箇所特定支援手法の実装及び評価 ○中野瑞樹・大沼俊輔・小林隆志（東工大）・石尾 隆（阪大） SS2014-58 |
デバッグ作業では不具合から感染状態を遡ることで欠陥箇所を特定し修正する必要がある． 欠陥箇所特定を支援する既存手法の多... [more] |
SS2014-58 pp.19-24 |
| ET | 2014-06-14 10:05 |
静岡 | 静岡大学（浜松キャンパス） | プログラミング演習作成のためのソースコードの検索・抽出システムの実現 ○森田 航・立岩佑一郎・山本大介・高橋直久（名工大） ET2014-8 |
初心者向けCプログラミング演習では，指導者は問題文，正解例プログラム，テストデータからなる演習問題を作成する．また，難し... [more] | ET2014-8 pp.1-6 |
| SS, IPSJ-SE (連催) |
2013-10-24 10:50 |
石川 | ITビジネスプラザ武蔵（金沢市内） | 組込みCISCマイコンのアセンブリプログラムに対する振舞い抽出器の開発とモデル検査への適用 ～ シミュレーションによるモデルの自動生成 ～ ○公下亮佑・山根 智・櫻井孝平（金沢大） SS2013-37 |
我々は，組込みシステムに対してモデル検査することを目的とする．そこで，本論文では，モデルを自動的に構築する，振舞い抽出器... [more] | SS2013-37 pp.7-12 |
| MSS, SS (共催) |
2013-03-06 17:40 |
福岡 | 休暇村志賀島 | データ依存の伝播確率に基づく欠陥箇所特定支援 ○村松沙那恵（名大）・小林隆志（東工大/名大）・渥美紀寿（名大）・阿草清滋（京大） MSS2012-71 SS2012-71 |
デバッグ作業において，欠陥箇所を特定することは時間や労力のかかる作業である．本研究では多段階のデータ依存性を考慮した欠陥... [more] | MSS2012-71 SS2012-71 pp.69-74 |
| SS | 2012-03-13 10:50 |
沖縄 | てんぶす那覇 | ソースコード中の繰り返し部分に着目したコードクローン検出手法の提案 ○村上寛明・堀田圭佑・肥後芳樹・井垣 宏・楠本真二（阪大） SS2011-61 |
コードクローンとはソースコード中の一致，または類似したコード片の組を表す．コードクローンはソフトウェアの保守を困難にする... [more] | SS2011-61 pp.25-30 |
| SS | 2011-10-27 15:35 |
石川 | 北陸先端科学技術大学院大学 | デルタ抽出のための効率の良いアルゴリズムの開発と実装 ○山根敬史・新田直也（甲南大） SS2011-31 |
オブジェクト指向プログラムでは, ある機能の実行が別の機能の実行に影響を及ぼす現象が多く見られる. そのため, デバッグ... [more] | SS2011-31 pp.25-30 |
| KBSE | 2011-09-22 09:45 |
海外 | オーシャングランドホテル済州 | プログラム実行軌跡の利用によるテストケースの前提条件の生成 ～ ホワイトボックステストの網羅率の向上のために ～ ○海老原裕之・古宮誠一（芝浦工大）・櫻井孝平（東大） KBSE2011-33 |
ソフトウェアテストの戦略の１つにホワイトボックステストがある。ホワイトボックステストはプログラムの構造に基づいてテストケ... [more] | KBSE2011-33 pp.55-60 |
| SS | 2010-03-08 14:10 |
鹿児島 | 鹿児島大学 郡元キャンパス | 大規模ソースコード集合を対象とした類似関数集合群の抽出 ○田中健介・肥後芳樹・楠本真二（阪大） SS2009-56 |
近年ソフトウェア開発は大規模化の一途をたどっており，開発コスト削減のため，既存の資源を有効に活用することが望まれる．しか... [more] | SS2009-56 pp.49-54 |
| ET | 2009-12-11 10:30 |
沖縄 | 琉球大 | アセンブラプログラミング演習のためのチャンキングとスライシングを用いたコードレビューナビゲーター ○吉田裕一・立岩佑一郎・山本大介・高橋直久（名工大） ET2009-81 |
我々はプログラミング演習支援システムCAPESの開発，運用を行っている．本稿では，CAPESを用いた初心者向けのアセンブ... [more] | ET2009-81 pp.169-174 |
| SS | 2009-08-06 11:00 |
北海道 | 北見工業大学 | リバースエンジニアリングツールキットRemicsの試作 ○神谷年洋（産総研） SS2009-13 |
リバースエンジニアリングツールのためのツールキット Remicsの現状について説明する．このツールキットは，開発者が自ら... [more] | SS2009-13 pp.7-11 |
| KBSE | 2008-11-28 13:15 |
福岡 | 福岡工業大学 | アスペクト指向プログラミングのためのアドバイス適用順序をテストする枠組みの提案 ○赤堀文隆（芝浦工大）・櫻井孝平（東大）・古宮誠一（芝浦工大） KBSE2008-32 |
AspectJのようなアスペクト指向プログラミング言語では，特定のプログラムの実行時点に，横断的関心事のための処理単位と... [more] | KBSE2008-32 pp.55-60 |
| ET | 2008-10-17 13:05 |
岡山 | 岡山理科大 | 教育を目的としたC言語ソース管理APIの作成とその応用 ○大久保和則・玉木久夫（明大） ET2008-42 |
プログラミング教育のためのeラーニングシステムでは対象となるプログラミング言語のソースの解析を行うことが必要となる．その... [more] | ET2008-42 pp.17-22 |
| SS | 2006-12-15 09:20 |
福岡 | 九州大学(伊都キャンパス) | 情報フローを取り入れたSecurity-Aware Refactoring ○戸子田健祐・丸山勝久（立命館大） |
現実社会においてはソフトウェアの持つ役割が重要視されており，ソフトウェアセキュリティは深刻な問題である．これに対して，我... [more] | SS2006-65 pp.1-6 |
[研究会発表申込システムのトップページに戻る]