形式仕様記述

ウィキペディア

形式仕様記述

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

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