形式手法の考え方 | 形式手法実践ポータルこのページでは，形式手法の基本的な考え方を説明します．形式手法と分類される様々な手法に共通する考え方として，数理論理学等に基づき，システムの注目する側面を正確に，曖昧さのない形で表現します．これによりシステムへに関する理解を明確にするとともに，システムの満たす性質について科学的・系統的な分析や検証をツールを用いて行います． 形式手法が効くところ ソフトウェア開発の過程においては，システムや個々のコンポーネント，メソッド等が「何を（どれだけうまく）すべきか」，そしてそれらが「求められているものをどうやって実現するのか」を議論し定めていきます．開発の初期過程では要求仕様という形で前者の「何をするのか」といったことを主に議論し，徐々に「どう実現するのか」を具体化・詳細化していき，最終的なプログラムを得ることとなります． 「何をすべきか」や「どう実現するのか」という情報は，開発の様々な段階（要求，
