功能性語言

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

基本介紹

  • 中文名:功能性語言
  • 性質:信息科學術語
範圍,分類,

範圍

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

分類

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

相關詞條

熱門詞條

聯絡我們