| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SWIM | 2011-02-25 15:05 |
東京 | 機械振興会館 | CPNによるUMLモデル間整合性検証 ○野村将人・安田佳宏・新川芳行（龍谷大）  SWIM2010-31 |
UMLによりシステムの動的側面をモデル化する場合、一般にステートマシン図、シーケンス図、アクティビティ図などを組み合わせ... [more] | SWIM2010-31 pp.33-38 |
| SWIM | 2010-11-19 15:25 |
東京 | 東海大学（高輪） | 時間制約を含むUMLシーケンス図の検証手法 ○安田佳宏・新川芳行（龍谷大） SWIM2010-23 |
ソフトウェアの仕様検証は，構造や機能に焦点を当てた静的検証，振る舞いに焦点を当てた動的検証，そして時間制約の検証が独立に... [more] | SWIM2010-23 pp.39-44 |
| SWIM | 2010-02-26 16:25 |
東京 | 機械振興会館B3-2 | UMLシーケンス図における時間制約の記述とその検証 ○安田佳宏・新川芳行（龍谷大） SWIM2009-24 |
UML2.0ではシーケンス図に時間制約の記述が可能となっているが, UML自体にはその検証機能がないため, 時間制約の検... [more] | SWIM2009-24 pp.27-32 |
[研究会発表申込システムのトップページに戻る]