此條目沒有列出任何參考或來源。 (2014年1月12日) 維基百科所有的內容都應該可供查證。請協助補充可靠來源以改善這篇條目。無法查證的內容可能會因為異議提出而被移除。 |
規約語言(英語:Specification language),或稱規範語言,是在計算機科學領域的使用的一種形式語言。編程語言是用於系統實現的、可以直接運行的形式語言。與之不同,規約語言主要用於系統分析和設計的過程中。
規約語言通常是不能直接運行的,雖然有人在進行這方面的研究。規約語言在比編程語言更抽象層次上描述系統,因此,在規約語言被實際實現之前,必須經過一個精簡化(不斷添加實現細節)的過程。
這是一篇與電腦相關的小作品。您可以透過編輯或修訂擴充其內容。 |