形式仕様

ウィキペディア

形式仕様記述

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/10/03 08:17 UTC 版)

形式仕様記述（けいしきしようきじゅつ、英: formal specification）とは形式手法のひとつで、何らのシステムなどについて、その性質などの仕様を形式的に記述する手法や、そういった手法による仕様の記述である。

ウィキペディア小見出し辞書

形式仕様

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/08 06:08 UTC 版)

「仕様」の記事における「形式仕様」の解説

詳細は「形式仕様記述」を参照 形式仕様は、ソフトウェアやハードウェアを数学的に記述したもので、何らかの実装の開発に使われる。それはシステムが何をすべきかを記述したもので、それをどう実現するかは記述する必要はない。システムの設計が形式仕様に照らして正しいかどうかの形式的検証に使われたりする。これには、工程が先に進む前に正しくない設計を改良できるという利点がある。代替手法としては、仕様から設計への変換、および特に実際の実装への変換に際して、詳細化を行う手法がある。