安田 佳宏 | 龍谷大学大学院理工学研究科情報メディア学専攻
スポンサーリンク
概要
関連著者
-
新川 芳行
龍谷大学大学院理工学研究科情報メディア学専攻
-
安田 佳宏
龍谷大学大学院理工学研究科情報メディア学専攻
-
新川 芳行
龍谷大学理工学研究科情報メディア学専攻
-
安田 佳宏
龍谷大学理工学研究科情報メディア学専攻
-
新川 芳行
龍谷大学大学院理工学研究科
-
新川 芳行
龍谷大学
著作論文
- UMLシーケンス図における時間制約の記述とその検証 (ソフトウェアインタプライズモデリング)
- UMLシーケンス図における時間制約の記述とその検証(次世代経営情報技術,その他)
- O-008 機能仕様と振る舞い仕様間の整合性(O分野:情報システム,一般論文)
- 時間制約を含むUMLシーケンス図の検証手法(ワークショップ(査読付き),「次世代経営情報技術,その他」)