| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2013-01-10 14:00 |
沖縄 | 沖縄県石垣市民会館 | リファインメント・プランニング ○中島 震（NII） |
[more] | SS2012-48 pp.13-18 |
| SS | 2011-10-28 11:15 |
石川 | 北陸先端科学技術大学院大学 | 有限Alloy記述の段階的な構築について ○小飼 敬（茨城高専）・中島 震（NII）・上田賀一（茨城大）  SS2011-36 |
Alloy記述を作成する過程では，記述の確認を行う繰り返し作業の際に，探索スコープを限定したコマンドで解析することが多い... [more] | SS2011-36 pp.55-60 |
| SS | 2011-06-30 11:00 |
海外 | 高麗大(韓国) | Verification of BPEL Workflows Design using Model Checking ○Ryosuke Nakashiro・Yasutaka Kamei・Naoyasu Ubayashi（Kyushu Univ.）・Shin Nakajima（NII）・Akihito Iwai（Denso） SS2011-2 |
[more] | SS2011-2 pp.7-10 |
| SS | 2011-03-08 09:00 |
沖縄 | 沖縄県青年会館 | 有界モデル検査法を用いたモジュラー検証のテストケース生成による補完 ○橋本祐介（総研大/NEC）・中島 震（NII/総研大） SS2010-68 |
有界モデル検査法では，プログラムを有限状態遷移システムに変換する際に近似を導入する．近似は誤警告や不具合の見過しという問... [more] | SS2010-68 pp.91-96 |
| SS | 2010-08-05 15:30 |
北海道 | 旭川市民文化会館 | Event-Bで書かれたシステム要求仕様の妥当性検査 ○中島 震（NII） SS2010-23 |
[more] | SS2010-23 pp.41-46 |
| KBSE, SS (共催) |
2010-05-28 11:50 |
京都 | 同志社大今出川キャンパス | ポリシー規則と振る舞い仕様の分離への書き換え論理アプローチ ○シャオシ ドン・中島 震（NII） SS2010-11 KBSE2010-11 |
[more] | SS2010-11 KBSE2010-11 pp.63-68 |
| MSS | 2010-01-21 13:00 |
愛知 | 豊田中央研究所アクタスCホール | 検証モデリングの比較検討 ～ 組込みソフトウェアの事例 ～ ○中島 震（NII）・谷津弘一・野中 哲・佐原 伸（タオベアーズ） CST2009-37 |
[more] | CST2009-37 pp.1-6 |
| SS | 2009-10-15 15:30 |
長野 | 信州大学 | Aspectual Encapsulation of Web Application Features Reda Ahroum（NII）・○Keiji Hokamura（Kyusyu Inst. of Tech.）・Daniel Balouek・Shin Nakajima（NII）・Naoyasu Ubayashi（Kyusyu Inst. of Tech.） SS2009-31 |
[more] | SS2009-31 pp.13-18 |
| SS | 2009-10-16 10:00 |
長野 | 信州大学 | 振る舞い仕様の実行時モニタリング ○中島 震（NII）・今井克則（グラッツ）・玉井哲雄（東大） SS2009-32 |
[more] | SS2009-32 pp.19-24 |
| SS | 2009-10-16 10:30 |
長野 | 信州大学 | UMLとSimulinkのモデル変換手法の検討 ○吉田 聡・上田賀一（茨城大）・中島 震（NII） SS2009-33 |
組込みシステム開発において広く利用されているSimulinkは，コード生成やシミュレーションが可能でモデルの妥当性確認に... [more] | SS2009-33 pp.25-30 |
| SS | 2009-08-06 15:15 |
北海道 | 北見工業大学 | Rodin Plugin to Link Event-B with SPIN ○Thomas Muller・Shin Nakajima（NII） SS2009-19 |
[more] | SS2009-19 pp.43-48 |
| SS | 2008-07-31 14:00 |
北海道 | 公立はこだて未来大学 | AOPによるWebアプリケーションの要求監視 ○外村慶二・鵜林尚靖（九工大）・中島 震（NII） SS2008-14 |
Webアプリケーションは，インターネットを利用したオープンなシステムである為，システム開発時に全ての不具合を予測し対策を... [more] | SS2008-14 pp.7-12 |
| KBSE | 2007-09-11 13:00 |
海外 | クアラルンプール | FODAフィーチャー・ダイアグラムの形式化と検査の自動化 ○中島 震（NII）・鵜林尚靖（九工大） KBSE2007-24 |
[more] | KBSE2007-24 pp.55-60 |
| SS | 2007-08-03 10:45 |
北海道 | 北海道大学 | リアルタイム・コンポーネント向けの程良い形式手法 ○中島 震（NII） SS2007-27 |
リアルタイム性を考慮した分散コンポーネントについて、時間特性と論理的な振舞いの関係を設計段階で調べておく必要がある。リア... [more] | SS2007-27 pp.65-70 |
| KBSE | 2006-11-25 13:20 |
沖縄 | 琉球大学工学部 | 制約概念を用いるソフトウェアデザイン ○中島 震（NII） |
[more] | KBSE2006-42 pp.15-20 |
| SS | 2006-08-03 13:00 |
北海道 | 北海道大学工学部M棟 | 制約オートマトンを用いたソフトウェアデザインの記述法 ○中島 震（NII） |
[more] | SS2006-25 pp.1-6 |
| SS | 2006-06-22 15:15 |
岡山 | 岡山大学創立五十周年記念館 | 制約オートマトンに関するモデル検査法の実験 ○中島 震（NII/JST） |
[more] | SS2006-16 pp.19-24 |
| SS | 2006-02-02 14:00 |
福岡 | 福岡知的クラスター研究所 | リファクタリングの正しさのESC/Java2による形式検証 ○中島 震（NII）・福島慶明・橋本祐介・岩崎新一（NEC） |
[more] | SS2005-77 pp.7-12 |
| SS | 2005-08-04 13:30 |
北海道 | 小樽商科大学 407教室 | プライオリティ概念のあるステートダイアグラムのモデル検査 ○中島 震（NII） |
[more] | SS2005-25 pp.7-12 |
| SS | 2005-03-14 14:30 |
石川 | 北陸先端大 情報棟5Fコラボ7 | 状態遷移システムを用いたデザインのモデル検査 ○中島 震（NII） |
組み込みソフトウェアのデザイン表現として状態遷移システムを用いることが多い。UMLではステートダイアグラムが相当する。し... [more] | SS2004-59 pp.19-24 |
[研究会発表申込システムのトップページに戻る]