規約語言（英語：Specification language），或稱規範語言，是在計算機科學領域的使用的一種形式語言。編程語言是用於系統實現的、可以直接運行的形式語言。與之不同，規約語言主要用於系統分析和設計的過程中。
 | 此條目沒有列出任何參考或來源。 (2014年1月12日) |
規約語言通常是不能直接運行的，雖然有人在進行這方面的研究。規約語言在比編程語言更抽象層次上描述系統，因此，在規約語言被實際實現之前，必須經過一個精簡化（不斷添加實現細節）的過程。
一些規約語言
- Alloy語言
- 斷言定義語言
- B規約語言
- SDL
- 統一建模語言
- VDM規約語言
- Z規約語言
 | 這是一篇與電腦相關的小作品。您可以透過編輯或修訂擴充其內容。 |
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
