形式仕様に基づくソフトウェア開発手法の紹介 : Bメソッドを中心に
スポンサーリンク
概要
著者
関連論文
-
マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法(モデル/理論,ソフトウェアエージェントとその応用論文)
-
適応エージェントのためのユビキタスコンピューティングミドルウェア(エージェント)
-
2B-4 反例を利用した形式モデル修正支援ツールの開発(組込み,品質,一般セッション,ソフトウェア科学・工学)
-
物理的相互作用に着目したスマート空間の形式仕様記述と検証
-
ディペンダビリティ確保にむけたアスペクト指向技術動向
-
ディペンダビリティ確保にむけたアスペクト指向技術動向
-
Event Calculusに基づく合意を用いたモバイルエージェントの協調(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
-
プロセス記述によるサービス合成のパーベイシブコンピューティングへの適用(モバイルコンピューティング)
-
階層構造制御に注目したモバイルエージェントフレームワークとそのマルチメディア応用(ネットワーク/モバイル/ユビキタス, ソフトウェアエージェントとその応用論文)
-
パーベイシブネットワークにおけるWebサービス連携のためのモバイルエージェントシステム(分散協調とエージェント)
-
Webサービス連携のためのモバイルエージェント動作記述(オブジェクト指向とWeb技術)
-
ディペンダビリティ確保にむけたアスペクト指向技術動向
-
タグに関連づけられた時間・場所の概念抽出(「Webインテリジェンス」及び一般)
-
形式手法を用いたディジタル署名システムの安全性評価(ディペンダブルソフトウェア)
-
ユビキタスコンピューティングに関する国際ワークショップ(IWUC2004)
-
サービス指向コンピューティングにおける合意に基づいた協調的な移動性(研究会推薦博士論文速報)
-
同種サービスの併用を考慮した効率的なサービス選択
-
AS-3-2 時間,資源の制約を考慮したビジネスプロセスの検証(AS-3.ワークフローとビジネスプロセス管理への数理的アプローチ,シンポジウムセッション)
-
メタデータ制約を用いた協調プロトコルの自動合成手法
-
BDS-1-5 クラウド時代における品質に基づいたサービス選択・配備問題(BDS-1.クラウド時代の情報通信サービス品質,シンポジウムセッション)
-
BDS-1-5 クラウド時代における品質に基づいたサービス選択・配備問題(BDS-1.クラウド時代の情報通信サービス品質,シンポジウムセッション)
-
形式仕様に基づくソフトウェア開発手法の紹介 : Bメソッドを中心に
-
公共業務システム開発における法令からの要件の抽出/検証手法の提案
-
Event-Bによる列車監視システムのモニタリング要件の検証
-
タグに関連づけられた時間・場所の概念抽出
-
関連分野から見たエージェント技術 : サービスコンピューティング分野を例に(エージェント)
-
プライバシーを守ったITサービスの提供技術:3.プライバシーのルールを扱う技術 -制御・検証から説明・理解の支援へ-
-
時間,資源の制約をもつビジネスプロセスの形式検証(ソフトウェアシステム)
-
クラウドを動的に利用するWebサービス連携のための動作記述(「サービス・クラウドの応用及びマッシュアップ」及び一般)
-
法解釈に応じたコンプライアンスのビジネスプロセスにおける実現に向けて(「サービスおよびグラウドのQoS・SLA・ポリシー」及び一般)
-
ClouTプロジェクト:IoTとクラウドの融合によるスマートシティーヘの取り組み
-
関連分野から見たエージェント技術 : サービスコンピューティング分野を例に
もっと見る
閉じる
スポンサーリンク