新川 芳行 | 龍谷大学大学院理工学研究科
スポンサーリンク
概要
関連著者
-
新川 芳行
龍谷大学大学院理工学研究科
-
新川 芳行
龍谷大学理工学研究科情報メディア学専攻
-
新川 芳行
龍谷大学大学院理工学研究科情報メディア学専攻
-
岡田 祥
龍谷大学大学院理工学研究科情報メディア学専攻
-
越賀 準
龍谷大学大学院理工学研究科
-
安田 佳宏
龍谷大学大学院理工学研究科情報メディア学専攻
-
周 旭
龍谷大学大学院理工学研究科情報メディア学専攻
-
安田 佳宏
龍谷大学理工学研究科情報メディア学専攻
-
井上 貴至
龍谷大学大学院理工学研究科情報メディア学専攻
-
堂西 祐一
龍谷大学大学院理工学研究科情報メディア学専攻
-
山内 一馬
龍谷大学大学院理工学研究科情報メディア学専攻
-
國枝 秀行
龍谷大学大学院理工学研究科
-
山内 一馬
龍谷大学理工学部情報メディア学科
-
田中 一樹
龍谷大学大学院理工学研究科情報メディア学専攻
-
西田 紗知
龍谷大学大学院理工学部情報メディア学科
著作論文
- SOAにおけるサービス適合性検証(ワークショップ(査読付き),「次世代経営情報技術」,その他)
- モデル正当性検証の虚と実(Webサービス時代の経営情報技術とエンドユーザコンピューティング)
- BPEL記述からの例外処理分離とその形式化(ワークショップ(査読付き),「次世代経営情報技術」,その他)
- UMLシーケンス図における時間制約の記述とその検証(次世代経営情報技術,その他)
- SOAにおけるサービス記述の形式化(ワークショップ-Web2.0時代のビジネスモデル-)
- モデル検査によるUMLアクティビティ図の正当性検証(ワークショップ-Web2.0時代のビジネスモデル-)
- UMLアクティビティ図-クラス図間の整合性検証(次世代経営情報技術,一般)
- プロセス代数CCSによるBPELの形式化(次世代経営情報技術,一般)
- Webサービスによる分散データベース実現(Web2.0時代のビジネスモデル)
- 時間制約を含むUMLシーケンス図の検証手法(ワークショップ(査読付き),「次世代経営情報技術,その他」)
- トランザクション処理における補償プロセスの設計と実装(ワークショップ-Web2.0時代のビジネスモデル-)
- CPNによるGoogleAppEngineのモデル化と検証(提案型エンタプライズモデリング,一般)
- Event-BモデルのHaskellによる実装(提案型エンタプライズモデリング,一般)
- Event-Bによるモデル駆動モバイルアプリケーション開発(インタプライズモデル化技術,一般)
- CPNによるクラウドトランザクションの等価性評価(インタプライズモデル化技術,一般)
- BASEトランザクションにおけるデータ整合性(インタプライズモデル化,一般)
- Event-B によるモデル駆動モバイルアプリケーション開発