ネットワークおよび分散システムのための形式手法に関する国際会議

IFIP分散オブジェクト、コンポーネント、システムのための形式的手法に関する国際会議(FORTE) は、国際協調モデルおよび言語会議(COORDINATION) および IFIP 分散アプリケーションおよび相互運用システムに関する国際会議 (DAIS) も含む連合会議イベント DisCoTec ^{[ 1 ]} (分散コンピューティング技術) の一部です。

2013年までは、この会議はIFIP分散システムのための形式手法に関する合同国際会議として開催され、FMOODSとFORTEという2つの会議シリーズで構成されていた。

合同会議FMOODS/FORTEは、分散システムの理論、モデル、ツール、およびアプリケーションに関する基礎研究のためのフォーラムです。 ^{[ 2 ]}この会議では、分散システムの科学技術を進歩させる独創的な貢献を募集しており、特に以下の分野を対象としています。

• コンポーネントベースおよびモデルベース設計
• オブジェクト技術、モジュール性、ソフトウェア適応
• サービス指向、ユビキタス、パーベイシブ、グリッド、クラウド、モバイルコンピューティングシステム
• ソフトウェアの品質、信頼性、可用性、セキュリティ
• 分散システムにおけるセキュリティ、プライバシー、および信頼性
• 適応型分散システム、自己安定化
• 自己治癒／自己組織化
• 上記の検証、妥当性確認、形式分析、およびテスト

理論と実践を融合させ、形式手法と理論的基盤を活用して分散システムの開発に伴う問題に対する斬新な解決策を提示する論文を歓迎します。本会議では、分散コンピューティングモデル、形式仕様、テストおよび検証手法を扱います。応用分野は、あらゆる種類のアプリケーションレベルの分散システム、電気通信サービス、インターネット、組み込みシステムおよびリアルタイムシステム、ならびにネットワークおよび通信のセキュリティと信頼性を含みます。