| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-24 11:40 |
北海道 | 札幌市教育文化会館 | SPINを用いたVDM仕様に対するモデル検査適用手法 ○林 信宏・大森洋一・日下部 茂・荒木啓二郎（九大）  SS2015-34 KBSE2015-27 |
VDM (Vienna Development Method)は、形式手法の一つで，ソフトウェア開発の要求に対して様々な... [more] | SS2015-34 KBSE2015-27 pp.173-178 |
| SS | 2014-05-08 16:05 |
三重 | いせ市民活動センター | VDM仕様のモデル検査法の提案 ○林 信宏・大森洋一・日下部 茂・荒木啓二郎（九大） SS2014-4 |
形式仕様記述言語VDM (Vienna Development Method)は、ソフトウェア開発の要求に対して様々な抽... [more] | SS2014-4 pp.19-24 |
| NS, RCS (併催) |
2011-12-16 10:35 |
山口 | 山口大学 | ［奨励講演］Hadoopを利用したパケット解析システムにおけるパケット入力方法の改善 ○成冨隆斗・荒川 豊・川口賢太・本田光秀・溝上琢也・美馬浩志（九大）・原田薫明（NTT西日本）・日下部 茂（九大） NS2011-139 |
ネットワークの高速化に伴いその解析対象となるデータ量は膨大となり，高速な分析が難しくなってきている．著者らはこの課題に対... [more] | NS2011-139 pp.121-126 |
| SS | 2011-06-30 11:30 |
海外 | 高麗大(韓国) | An Introduction of a Formal Method in PBL: A Case Report ○Shinya Yamada・Tomohiro Iwamoto・Tsunayuki Shinozawa・Mitsuhide Honda・Ryo Miyashita（Kyushu Univ.）・Takashi Iwasaki・Yasuo Inoue（FUJITSU QNET）・Keijiro Araki・Shigeru Kusakabe・Yoichi Omori（Kyushu Univ.） SS2011-3 |
[more] | SS2011-3 pp.11-16 |
| NS | 2011-04-22 13:00 |
福井 | 福井大学 | Hadoopを用いた大容量パケット解析システムの設計と実装 ○成冨隆斗・川口賢太・溝上琢也・美馬浩志（九大）・原田薫明（NTT西日本）・荒川 豊・日下部 茂（九大） NS2011-12 |
ネットワークにおける故障解析のためにパケットキャプチャリングによるデータ解析が行われているが，ネットワークの高速化に伴い... [more] | NS2011-12 pp.67-72 |
[研究会発表申込システムのトップページに戻る]