ソフトウェア・システム開発において、最初からその仕様が固まっているということは少なく、開発が進捗するに従いより明確になっていきます。また、出荷後に運用環境の変化によって仕様も変わってきます。また、個々のソフトウエアおよびシステムの構成要素が正しく開発されたとしても、それらの相互接続性に問題があれば、信頼性確保に問題が発生します。これら諸問題に対応するには、形式手法により仕様をより分かり易く早い段階で固めてゆくと共に、アーキテクチャというものがソフトウェア・システム開発の初期の段階で十分考慮されなければなりません。 今回のSEC特別セミナーは、形式手法導入への考慮点を、アーキテクチャとの連携についての先進的事例およびアプローチについて理解を深めていただくために開催します。