| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2019-03-05 15:00 |
沖縄 | 沖縄産業支援センター | 機械学習ソフトウェアの品質評価保証レベル ○中島 震（NII）・妹尾義樹・大岩 寛・磯部祥尚（産総研）  SS2018-79 |
[more] | SS2018-79 pp.163-168 |
| CAS, MSS, VLD, SIP (共催) |
2010-06-22 12:55 |
北海道 | 北見工大 | Promelaにおける割り込み制御処理の半自動モデル化 ○只野賢二（フェリカネットワークス）・磯部祥尚（産総研） CAS2010-24 VLD2010-34 SIP2010-45 CST2010-24 |
組み込みソフトウェアの品質向上手法として，リバースエンジニアリングによるモデル検査を導入するにあたり，割り込み制御処理の... [more] | CAS2010-24 VLD2010-34 SIP2010-45 CST2010-24 pp.133-138 |
| CAS, MSS, VLD, SIP (共催) |
2010-06-22 13:20 |
北海道 | 北見工大 | 並行システムを解析するための逐次化と状態削減機能の実装 ～ 仕様の自動生成を目指して ～ ○磯部祥尚（産総研） CAS2010-25 VLD2010-35 SIP2010-46 CST2010-25 |
並行システムは逐次システムに比べてその全体の動作を把握することが難しい．そこで，並行システムが仕様を満たすことを判定する... [more] | CAS2010-25 VLD2010-35 SIP2010-46 CST2010-25 pp.139-144 |
| MSS | 2010-01-21 15:00 |
愛知 | 豊田中央研究所アクタスCホール | プロセス代数CSPによるシーケンス図設計の詳細化と検証 ○海津智宏（北陸先端大）・磯部祥尚（産総研）・鈴木正人（北陸先端大） CST2009-40 |
ソフトウェアのモジュール構造の設計には，シーケンス図が用いられる場合が多い．本論文では，プロセス代数CSP を利用して，... [more] | CST2009-40 pp.19-24 |
| MSS | 2010-01-22 11:10 |
愛知 | 豊田中央研究所アクタスCホール | タスクの順序に基づくビジネスプロセスの検証方法の提案 ○村田大二郎・三部良太（日立）・磯部祥尚（産総研） CST2009-49 |
情報システムの上流設計情報の検証を目的として，複数の部分的なビジネスプロセス図を順序制約へ変換し，それらの無矛盾性や詳細... [more] | CST2009-49 pp.67-72 |
[研究会発表申込システムのトップページに戻る]