| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2022-03-07 13:40 |
ONLINE | オンライン開催 | 代数に基づくデータ転送アーキテクチャモデルからのCCSプロセスの導出手法 ○蔭山信二・新田直也（甲南大）  SS2021-47 |
コンポーネント間のデータ転送を PUSH 型で行うか PULL 型で行うかの選択は, システム全体の構造と最終的に得られ... [more] | SS2021-47 pp.31-36 |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2015-11-20 14:20 |
鹿児島 | 指宿市民会館 大会議室 | 分散アルゴリズムの実行列からプログラム合成とそのプログラム検証 ○山根 智（金沢大） CAS2015-50 MSS2015-24 |
分散システムの分散問題を解決する分散アルゴリズムはクラウドコンピュータやP2Pなどで多数動作しており, その正当性検証は... [more] | CAS2015-50 MSS2015-24 pp.35-40 |
| KBSE | 2013-05-31 14:45 |
神奈川 | 慶應義塾大学 | ヒューマンエラーに対する手順書の耐性検査 ○永藤直行（プレシステム）・渡部卓雄（東工大） KBSE2013-11 |
作業手順がヒューマンエラーに対して耐性があるかどうか検査するためにモデル検証の手法を利用する．作業手順には，ヒューマンエ... [more] | KBSE2013-11 pp.61-66 |
| 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 |
| SWIM | 2010-06-04 14:20 |
東京 | 機械振興会館 | プロセス代数CCSによるBPELの形式化 ○山内一馬・新川芳行（龍谷大） SWIM2010-4 |
Webサービスオーケストレーション言語であるBPELによりビジネスプロセスの自動化や高度な判断処理を要する情報システムの... [more] | SWIM2010-4 pp.23-28 |
| MSS | 2010-01-21 15:00 |
愛知 | 豊田中央研究所アクタスCホール | プロセス代数CSPによるシーケンス図設計の詳細化と検証 ○海津智宏（北陸先端大）・磯部祥尚（産総研）・鈴木正人（北陸先端大） CST2009-40 |
ソフトウェアのモジュール構造の設計には，シーケンス図が用いられる場合が多い．本論文では，プロセス代数CSP を利用して，... [more] | CST2009-40 pp.19-24 |
[研究会発表申込システムのトップページに戻る]