規約語言（specification language）是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名：規約語言
- 外文名：specification language
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
一種面向問題的語言。①綜合了自然語言與人工語言，通常可由計算機處理；②用於表達某一系統或構件的需求、設計、行為或其他特性；③提供專用語言構造，有時還提供驗證協定，供開發、分析所規定的實體並為其編制文檔使用。
出處
《計算機科學技術名詞 》第三版。
規約語言
相關詞條
- 規約語言
規約語言（specification language）是2018年公布的計算機科學技術名詞。定義一種面向問題的語言。①綜合了自然語言與人工語言，通常可由計算機處理；②用於表達某一系統或構件的需求、設計、行為或其他特性；...
- 功能規約語言
功能規約語言是指用於書寫軟體功能規約的語言，通常又稱為功能性語言。軟體功能規約也稱功能規格說明，是軟體所要完成功能的精確而完整的陳述，通常只刻畫軟體系統“做什麼”的外部功能，而不涉及系統“如何做”的內部算法。典型的功能性語言有廣譜語言、Z語言等。簡述 軟體功能規約是軟體所要完成功能的精確而完整的陳述...
- 編譯程式規約語言
編譯程式規約語言 編譯程式規約語言（compiler specification language）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義 一種用於開發編譯程式的規約語言。出處 《計算機科學技術名詞 》第三版。
- 設計性語言
前者是指未加限定的自然語言，後者則指其語法和語義均顯式和精確定義的語言。從理論基礎看，有代數類功能性語言和邏輯類功能性語言之分。前者指以異調代數、範疇論等代數理論為主要理論基礎的規約語言，後者則指以一階謂詞演算等邏輯理論為主要理論基礎的規約語言。功能性語言涉及對象、規約方法以及規約性質等。規約...
- 基於規約語言的領域軟體形式化程度度量方法研究
《基於規約語言的領域軟體形式化程度度量方法研究》是依託吉林大學，由包鐵擔任項目負責人的面上項目。項目摘要 形式化方法是軟體可靠性分析和高可靠軟體構建的最有力工具，形式化方法的套用程度能夠反映出軟體的質量情況，目前仍然缺乏對形式化程度的系統的度量方法，因此本項目提出一種基於規約語言的領域軟體形式化程度...
- 軟體工程卷2:系統與語言規約
《軟體工程卷2：系統與語言規約》是2009年清華大學出版社出版的圖書，作者是Dines Bjorner。圖書簡介 本書是世界著名的計算機科學家DinesBjorner教授對其所從事的軟體工程研究的總結。這幾卷書主要講述了如何使用形式方法指導軟體工程的開發，特別是作者獨創性地提出了領域工程這一全新的研究領域並在第~3~卷中予以系統...
- 想像與規約:語法與語言推論之分
《想像與規約：語法與語言推論之分》是2017年中國人民大學出版社出版的書籍，作者是【美】厄尼·萊波雷、【美】馬修·斯通。主要內容 世界著名（語言）哲學家萊波雷與斯通2015年的新著《想像與規約》由牛津大學出版社出版。在這本書中，作者同經典格賴斯理論和傳統語義學/語用學分界觀決裂，而試圖從一種更加寬泛、...
- 軟體規約方法與Z語言
《軟體規約方法與Z語言》是2000年河海大學出版社出版的圖書，作者是王志堅,朱躍龍。內容簡介 本書包括軟體規約方法和語言、一階邏輯和集合論、模式與規約、模式推理、Z語言的面向對象擴充等16章。圖書目錄 第一章 軟體規約方法和語言 ·1.1 基礎知識 ·1.2 規約方法 ·1.3 規約語言 ·第二章 一階邏輯和集合論...
- 統一建模語言
統一建模語言(Unified Modeling Language，UML)是一種為面向對象系統的產品進行說明、可視化和編制文檔的一種標準語言，是非專利的第三代建模和規約語言。UML是面向對象設計的建模工具，獨立於任何具體程式設計語言。簡介 UML作為一種統一的軟體建模語言具有廣泛的建模能力。UML是在消化、吸收、提煉至今存在的所有軟體建模...
- 軟體工程卷:系統與語言規約
《軟體工程卷2：系統與語言規約》介紹了描述系統與語言的規約的基本原理和技術。首先，然後講授一些高級的原理和技術：分層與組合、指稱與計算以及構型：環境與狀態的抽象與建模，然後講授符號學建模的基本原理和技術：語用、語義以及系統和語言的句法。其中重要的一部分介紹了對空間和簡單時態現象進行建模的基本原理和...
- 設計規約
包括與實現有關的描述，主要作為軟體設計人員與程式人員之間交流的媒介。形式 設計規約文檔的形式是具有特定形式的圖形加上形式或非形式的正文。可選擇的形式主要有定義邏輯模組的方框圖、實體一聯繫圖、數據流、控制流和狀態轉換圖等。書寫設計規約的形式化語言有SETL語言、OBJ語言和Larch 語言等。
- 基於模擬執行的軟體功能規約的安全性驗證
然而，形式化的功能規約的安全性驗證方法（如證明等）在實際工程中不容易被使用，靜態分析功能規約的安全性又常常缺乏嚴格性和準確性。本課題將研究模擬執行軟體形式化規約以進行安全性驗證的方法。為此，課題將在SOFL形式化規約語言基礎上研究軟體安全的定義、描述、驗證機制，並建立集成軟體功能及安全約束的需求規約；...
- 廣譜語言
好的軟體規約要在較高的抽象級上說明做什麼，強調明晰，而好的實現必須針對虛擬機給出如何做的詳細描述，強調功效。明晰與功效很難在一個程式同時滿足，這兩者之間距離很大。程式規約在這個距離間分成若干個抽象級別。光譜語言及其相應的支撐系統能夠在同一個語言架構下明晰的規約通過推理逐步向高效的程式轉化，或者提供...
- 文檔語言
文檔語言是用於書寫計算機軟體文檔的語言。主要特點 要求簡練準確，通俗易懂。儲存在計算機系統中以便用戶在線上檢索。例證 如書寫軟體開發過程中產生的中間結果的語言，通常根據中間結果的特性使用不同的語言；書寫軟體功能規約的語言，既可以是形式化的功能規約語言，也可以是自然語言；軟體測試報告則通常以自然語言填寫的...
- 規約機
擺脫根據指令流的被動操作，按照固定算法並發的對表達式進行處理；使用通過函式式語言編寫的程式；使用語言的數據結構具有邊界性、單一性、動態性和構造性。常見的規約機分為串規約機和圖規約機兩類，串規約機中信息以字元串存儲，可以不經翻譯直接執行，而圖規約機是以圖為處理對象的規約機。
- PVS(原型驗證系統)
PVS為在計算機科學中嚴格、高效地套用形式化方法提供自動化的機器支持，它易於安裝、使用和維護，是一個良好的集成環境.該系統主要包括規約語言和定理證明器兩部分，並且還集成了解釋器、類型檢查器及預定義的規約庫和各種方便的瀏覽、編輯工具.PvS提供的規約語言基於高階邏輯，具有豐富的類型系統，是普遍適用的語言，...
- 形式化方法
如果一個方法有良好的數學基礎，那么它就是形式化的，典型地以形式化規約語言給出。這個基礎提供一系列精確定義的概念，如：一致性和完整性，以及定義規範 的實現和正確性。 形式化方法的本質是基於數學的方法來描述目標軟體系統屬性的一種技術。不同的形式化方法的數學基礎是不同的，有的以集合論和一階謂詞演算為...
- 航電系統軟體可靠性的形式化驗證技術研究
本項目主要針對航電軟體的領域特徵，研究模型檢驗和運行時驗證這兩種主流的形式化驗證技術：首先提出一種新的針對航電軟體模型和代碼的形式化規約語言，用於準確描述UML、SysML、AADL、Lustre等航電軟體模型和嵌入式C程式必須滿足的正確性性質；然後通過理論分析，證明新的規約語言的可判定性、可監測性和表達能力，以期獲得...
- specification
specification language 規範語言，規約語言 process specification 加工標準；工藝說明書 requirements specification 需求規格說明；要求說明 performance specification 性能說明；性能規格 material specification 材料規格；原材料明細表 test specification 測試規範 job specification 工作規範；工作要求 general specification 一般...
- 分析(漢語詞語)
在信息技術領域，系統分析的發展相對比較成熟，並與計算機系統及軟體工程中的需求分析有著密切的關係。 隨著計算機技術、運籌學的普及以及結構化分析、規約語言等系統分析方法的發展，系統分析方法在跨學科領域也獲得日益廣泛的套用，被用於研究、分析、改善許多複雜系統。分析化學 分析化學是開發分析物質成分、結構的方法，...
- 軟體工程卷1
《軟體工程卷2:系統與語言規約》介紹了描述系統與語言的規約的基本原理和技術。首先,本卷講授一些高級的原理和技術:分層與組合、指稱與計算以及構型:環境與狀態的抽象與建模,然後講授符號學建模的基本原理和技術:語用、語義以及系統和語言的句法。其中重要的一部分介紹了對空間和簡單時態現象進行建模的基本原理和技術。
- IEEE 754
規約形式的浮點數 如果浮點數中指數部分的編碼值在 之間，且在科學表示法的表示方式下，分數 (fraction) 部分最高有效位（即整數字）是1，那么這個浮點數將被稱為規約形式的浮點數。“規約”是指用唯一確定的浮點形式去表示一個值。由於這種表示下的尾數有一位隱含的二進制有效數字，為了與二進制科學計數法的...
- 語用文化
語用文化 語用文化是指語言用於交際中的文化規則和文化規約,是由不同民族的文化，特別是習俗文化所決定的。語用文化是培養語言交際能力的主要內容。
- 程式理論
程式理論的基本問題是如何建立一個相對完善的理論框架，為軟體的設計和開發方法提供理論依據。這個框架應能提供有效地描述程式規約的語言；應能定義可操作的變換方法以便能規約構造可執行的程式；應能給出驗證程式與其規約之間一致性的機制。有關理論 程式語義理論 程式是用程式語言編寫的，研究程式的規約、變換和驗證，...
