語義規約（semantic specification）是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名：語義規約
- 外文名：semantic specification
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
能夠描述通用構件的接口語法和語義規範的形式化說明。
出處
《計算機科學技術名詞 》第三版。
語義規約
相關詞條
- 語義規約
語義規約（semantic specification）是2018年公布的計算機科學技術名詞。定義能夠描述通用構件的接口語法和語義規範的形式化說明。出處《計算機科學技術名詞 》第三版。1...
- 實時領域互動行為模型轉換方法及非功能語義規約研究
《實時領域互動行為模型轉換方法及非功能語義規約研究》是依託昆明理工大學，由王彬擔任項目負責人的地區科學基金項目。項目摘要 在使用模型驅動方法進行實時工業控制軟體設計的過程中，將帶有控制功能與非功能性規約的設計模型完整準確地轉換成...
- 最簡語義學
2.5“所言”的語義相關性 2.6規約含義與一般會話含義 2.7辭彙學習 2.8歧義 第三章 外顯語境敏感性：指示性的問題 3.1指示性的問題 3.2卡普蘭直接指稱論 3.3指示詞語與指示語的真值條件論闡釋 3....
- 功能規約語言
為了提高軟體生產率與軟體產品可靠性，出現了形式軟體功能規約語言。這種語言具有良好的數學基礎，易於研究軟體規約的各種性質和相互間的語義關係，如一致性、完備性、等價性和精化關係等，不僅避免了自然語言‘的歧義性、模糊性和不完備性...
- 想像與規約:語法與語言推論之分
格賴斯創立的會話含義理論是語義學、語用學和語言哲學領域的核心理論。他們認為語言理解中使用的推理機制是多種多樣的，單靠合作原則或者關聯原則這樣的包羅萬象的總框架並不能做出完整的闡釋，意義交際更多地依賴於語言的規約意義。語言是...
- 面向服務的計算:語義、流程和代理
8.8.3 規約的屬性 121 8.8.4 可廢除的概念 121 8.9 說明 122 8.10 練習 122 第9章 本體的管理 124 9.1 基於語言的表示 124 9.2 標準本體 125 9.2.1 統一業務語言 125 9.2.2 Cyc 126 9.2.3 ...
- 程式理論
程式是用程式語言編寫的，研究程式的規約、變換和驗證，必須首先給出程式語言的語義。這種語義用數學方法刻畫程式語句的加工過程，並將其執行結果形式化。所以，程式語義也叫形式語義。形式語義描述技術的本質是用嚴格的數學方法來研究程式。...
- 面向移動計算的服務不確定性模型及其推理技術
建立基於服務宿居上下文的服務不確定性模型；研究移動計算中服務相依賴的分布資源、服務內部行為與服務不確定性三者的關係，藉助擴展的Pi－演算和馬爾可夫鏈等手段，構建基於相依賴分布資源和服務行為的服務不確定性模型；設計集成語義規約，...
- 面向二語教學的現代漢語標記構式研究
二、語義規約性29 三、語用主觀性、隱含性和貶抑性31 四、口語色彩濃36 五、語境依賴性38 六、半能產性39 第三節現代漢語標記性構式的分類40 一、漢語標記性構式分類概說40 二、漢語標記性構式的功能分類42...
- 義素
義素（SEME）是現代語義學術語，指語言中意義（或者說內容）的單位，又被稱為義子，與音位、音節等語言形式的單位相對應，其中包括義句、義叢、義位（meme,相當於義項的意義的最小單位）。義素又稱語義成分、語義特徵，是詞的義位的...
- 新聞語用研究
第二節 語義預設的推斷與其觸發語 一、常見的預設觸發語 二、預設受其觸發語的制約 第三節 語義預設規約用法在新聞報導中的作用 一、遵循預設規律可增強新聞語篇的連貫性 二、恰當地利用預設可使新聞語篇更精煉 ...
- 漢語預設研究
一 非典型語義預設的界定 二 非陳述句的非典型語義預設 三 複句的非典型語義預設和單句的非典型語義預設 四 詞和語式觸發的非典型語義預設 五 語義預設與規約隱涵、一般性會話隱涵 第四章 語用預設研究 一 關於是否取消“語義預設”...
- 標記理論
而且，他認為，話語的話外行為不僅決定於意圖，而且取決於規約。因此，他以主要話外行為和次要話外行為之間的聯繫性為依據，將間接言語行為區分為規約性間接言語行為（conventional indirect speech act）和非規約性間接言語行為（...
- 進程演算
歸約語義 歸約法則運用的關鍵，包含了進程演算的計算實質，單獨的依據並行組合、順序化、輸入和輸出。演算間的歸約細節不同，但是實質保持大致相同。通用的歸約法則是：X.P|X(v).Q → P|Q[y/v]該歸約規則的解釋是：進程X.P...
- 形式化方法
形式化方法需要形式化規約說明語言的支持。研究內容 形式化方法的一個重要研究內容是形式規約(Formal Specification,也稱形式規範或形式化描述),它是對程式“做什麼”(what to do)的數學描述,是用具有精確語義的形式語言書寫的程式功能描述...
- 俄漢詞語構造的多維思考
論述分析過程中，除針對實際存在的詞語構造現象和問題外，還涉及一些潛在的、在言語層面已多有顯現，但尚未進入或正在進入標準語系統的詞語構造現象和問題，並從思維認知、語義互滲、語法規約及文化融合等角度對其進行了描寫與解釋。作者簡介...
- 勵耘語言學刊(2020年第2輯)
“搶”的語義內涵及其語法表現 “侵早”與“清早”辨 馬來西亞華語辭彙變異類型研究 ◎語法研究 情態標記語“好傢夥”程度副詞“全”及其規約化語義特徵 ◎方言研究 中古精組聲母在河北方言的失塞失擦逆向演變研究 晉語并州片人聲調的演變...
