ソフトウェア開発を工学にする形式手法の紹介

「ソフトウェア開発は工学なのか？」という問いからはじめて，他分野との比較をしながら形式手法を紹介します．

プログラム

• ソフトウェア開発は工学なのか
• 形式手法とは何か
• ソフトウェアの 2 つの側面 : 計算と相互作用
• 相互作用に力点を置くリアクティブシステム
• ソフトウェアの仕様を厳密に記述する
• ソフトウェアが仕様を満たす条件とは
• ソフトウェアの正しさを数学的に証明する
• リアクティブシステムの仕様と検証
• 並行・並列システム開発の難しさと対応