経営者はアーキテクチャと形式手法を忘れてはいけない

抄録

本稿では、高性能・高信頼性が要求されるシステムの開発や信頼性の高いサービスの提供のための高信頼性検証能力の確保の必要性やその実践のためのアーキテクチャ・ベースのモデル化と形式手法について紹介する。