B-017 分散システム開発でのディペンダブルなプロトコルのSPINによる検証(知能ソフトウェア工学,B分野:ソフトウェア)

スポンサーリンク

概要

• 論文の詳細を見る
• 2012-09-04

著者

• 小林 洋

  東海大学大学院工学研究科

• 及川 雄也

  東海大学大学院工学研究科

関連論文

• セマンティックウェブを用いた分散情報の連結(Webインテリジェンス,「Webインテリジェンス」及び一般)
• B-008 UML/OCLからSQLへの変換(ソフトウェア,一般論文)
• ビザンチン合意を用いたP2Pオンラインゲーム用プロトコル(設計/テスト/検証)
• コータリを用いたP2P型オンラインゲーム方式(設計/テスト/検証)
• セマンティックウェブを用いた分散情報の連結
• セマンティックウェブを用いた個人提供型コンテンツサービスシステム(DE-3応用システム,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
• B-030 3Dシミュレーション画面を用いた開発支援ツール(B分野:ソフトウェア)
• 個人提供型携帯電話用コンテンツサービスシステムの一方式
• P2Pを用いた携帯用コンテンツサービスシステムの一方式(オーバーレイネットワーク,夏のデータベースワークショップDBWS 2006)
• P2Pを用いた携帯用コンテンツサービスシステムの一方式(オーバレイネットワーク)
• スポーツトレーニングメニュー作成システムの試作(学生セッション,一般)
• XMLを用いた時間制約条件によるロールベースアクセスコントロール(ディペンダブルソフトウェアとネットワーク及び一般)
• セマンティックウェブを用いた分散情報の連結(Webインテリジェンス,「Webインテリジェンス」及び一般)
• セマンティックウェブを用いた個人提供型コンテンツサービスシステム(DE-3応用システム,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
• C-023 投機的ビザンチンアルゴリズムのP2Pシステムへの適用(C分野:ハードウェア・アーキテクチャ,一般論文)
• D-039 ビジネスプロセスモデリングにおける時間制約条件の導入(データベース,一般論文)
• D-038 表明のUML/OCLからSQL/Triggerへの変換(データベース,一般論文)
• 4.4ソフトウェア開発で対象とする安全性について(セッション4「安全」)(日本信頼性学会第11回研究発表会報告)
• リアクティブシステムの安全性に関わるソフトウェアパターンの研究
• リアクティブシステムの安全性に関わるソフトウェアパターンの研究
• リアクティブシステムの安全性に関わるソフトウェアパターンの研究
• ビザンチン合意を用いたP2Pオンラインゲーム用プロトコル
• B-015 ゴール指向要求定義のゲームアプリケーション開発への適用(知能ソフトウェア工学,B分野:ソフトウェア)
• B-014 フレームワークを用いたWebアプリケーションにおける変更波及解析(知能ソフトウェア工学,B分野:ソフトウェア)
• F-045 分散オンラインゲームにおける同期方式の研究(学習とゲーム,F分野:人工知能・ゲーム)
• B-017 分散システム開発でのディペンダブルなプロトコルのSPINによる検証(知能ソフトウェア工学,B分野:ソフトウェア)
• B-016 UML/OCLアサーションのサーバサイド実装用ツールの開発(知能ソフトウェア工学,B分野:ソフトウェア)
• フレームワークを用いたWebアプリケーションの変更容易性(一般)
• UML/OCLアサーションのサーバサイドでの実装

もっと見る 閉じる

スポンサーリンク