功能性語言

功能性語言亦稱“功能規約語言”，是用以書寫軟體功能規約的語言。

範圍

主要涉及規約對象、規約方法，以及規約性質等。

分類

可分為非形式規約語言和形式規約語言。後者逐漸為人們所接受並用於軟體工程實踐。