電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ)
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 27件中 1〜20件目  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
SS 2017-03-09
10:20
沖縄 てんぶす那覇 純戦略ゲームのデバッグ
中島 震NII
 [more] SS2016-62
pp.13-18
KBSE, SS
(共催)
IPSJ-SE
(連催) [詳細]
2016-07-13
09:50
北海道 北海道立道民活動センター テスト不可能プログラム中の準テスト可能コアのテスティング
中島 震NII)・Bui Ngoc HaiVNU
 [more] SS2016-1 KBSE2016-7
pp.1-6
KBSE, SS
(共催)
IPSJ-SE
(連催) [詳細]
2015-07-24
10:40
北海道 札幌市教育文化会館 AlloyとEvent-Bを用いる2段階モデリング手法
中島 震NII
 [more] SS2015-32 KBSE2015-25
pp.161-166
SS 2015-03-09
10:20
沖縄 沖縄県青年会館 SNIPER: An LLVM-based Automatic Fault Localization Tool for Imperative Programs
Si-Mohamed LamraouiShin NakajimaNII
 [more] SS2014-57
pp.13-18
SS 2014-10-24
10:00
高知 高知市文化プラザかるぽーと 有界な時区間におけるコスト制約問題としての電力消費解析
中島 震NII
 [more] SS2014-30
pp.29-34
SS 2014-03-11
14:00
沖縄 てんぷす那覇:第1・2会議室 省電力プロセッサのアンドロイド・アプリ電力消費モデルへの影響
中島 震NII
 [more] SS2013-78
pp.37-42
SS, KBSE
(共催)
2013-07-25
11:30
北海道 北海道立道民活動センター [かでる2.7] 710会議室(7階) Automated Error Localization with Weighted Partial Maximum Satisfiability
Si-Mohamed LamraouiShin NakajimaNII
 [more] SS2013-13 KBSE2013-13
pp.1-6
SS 2013-01-10
14:00
沖縄 沖縄県石垣市民会館 リファインメント・プランニング
中島 震NII
 [more] SS2012-48
pp.13-18
SS 2011-10-28
11:15
石川 北陸先端科学技術大学院大学 有限Alloy記述の段階的な構築について
小飼 敬茨城高専)・中島 震NII)・上田賀一茨城大
Alloy記述を作成する過程では,記述の確認を行う繰り返し作業の際に,探索スコープを限定したコマンドで解析することが多い... [more] SS2011-36
pp.55-60
SS 2011-06-30
11:00
海外 高麗大(韓国) Verification of BPEL Workflows Design using Model Checking
Ryosuke NakashiroYasutaka KameiNaoyasu UbayashiKyushu Univ.)・Shin NakajimaNII)・Akihito IwaiDenso
 [more] SS2011-2
pp.7-10
SS 2011-03-08
09:00
沖縄 沖縄県青年会館 有界モデル検査法を用いたモジュラー検証のテストケース生成による補完
橋本祐介総研大/NEC)・中島 震NII/総研大
有界モデル検査法では,プログラムを有限状態遷移システムに変換する際に近似を導入する.近似は誤警告や不具合の見過しという問... [more] SS2010-68
pp.91-96
SS 2010-08-05
15:30
北海道 旭川市民文化会館 Event-Bで書かれたシステム要求仕様の妥当性検査
中島 震NII
 [more] SS2010-23
pp.41-46
KBSE, SS
(共催)
2010-05-28
11:50
京都 同志社大今出川キャンパス ポリシー規則と振る舞い仕様の分離への書き換え論理アプローチ
シャオシ ドン中島 震NII
 [more] SS2010-11 KBSE2010-11
pp.63-68
MSS 2010-01-21
13:00
愛知 豊田中央研究所アクタスCホール 検証モデリングの比較検討 〜 組込みソフトウェアの事例 〜
中島 震NII)・谷津弘一野中 哲佐原 伸タオベアーズ
 [more] CST2009-37
pp.1-6
SS 2009-10-15
15:30
長野 信州大学 Aspectual Encapsulation of Web Application Features
Reda AhroumNII)・○Keiji HokamuraKyusyu Inst. of Tech.)・Daniel BalouekShin NakajimaNII)・Naoyasu UbayashiKyusyu Inst. of Tech.
 [more] SS2009-31
pp.13-18
SS 2009-10-16
10:00
長野 信州大学 振る舞い仕様の実行時モニタリング
中島 震NII)・今井克則グラッツ)・玉井哲雄東大
 [more] SS2009-32
pp.19-24
SS 2009-10-16
10:30
長野 信州大学 UMLとSimulinkのモデル変換手法の検討
吉田 聡上田賀一茨城大)・中島 震NII
組込みシステム開発において広く利用されているSimulinkは,コード生成やシミュレーションが可能でモデルの妥当性確認に... [more] SS2009-33
pp.25-30
SS 2009-08-06
15:15
北海道 北見工業大学 Rodin Plugin to Link Event-B with SPIN
Thomas MullerShin NakajimaNII
 [more] SS2009-19
pp.43-48
SS 2008-07-31
14:00
北海道 公立はこだて未来大学 AOPによるWebアプリケーションの要求監視
外村慶二鵜林尚靖九工大)・中島 震NII
Webアプリケーションは,インターネットを利用したオープンなシステムである為,システム開発時に全ての不具合を予測し対策を... [more] SS2008-14
pp.7-12
KBSE 2007-09-11
13:00
海外 クアラルンプール FODAフィーチャー・ダイアグラムの形式化と検査の自動化
中島 震NII)・鵜林尚靖九工大
 [more] KBSE2007-24
pp.55-60
 27件中 1〜20件目  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会