http://sec.ipa.go.jp/seminar/2011/20110704.html
独立行政法人情報処理推進機構(IPA)は、高信頼性システム開発に関わる設計者・開発者を対象に、ソフトウェア・システム開発におけるアーキテクチャおよび形式手法に基づく設計方法に関するセミナーを開催しました。セミナーでは、形式手法導入への考慮点、アーキテクチャとの連携についての先進的事例およびアプローチについて理解を深めるための講演が行われました。
講演などにおいて、ソフトウェア開発上流工程において、アーキテクチャの考慮と形式手法による仕様の検討および検証の重要性が述べられていました。これらの技術の補間連携が進むことで、今後、開発現場におけるシステム高信頼化への寄与が期待できます。