SDL(Specification and Description Language)語言是規格與描述語言。它以一種框圖和流程圖的形式,描述了用戶要求、交換機性能指標和設計結果。適用於系統設計和程式設計初期,概括說明整個系統的功能要求和技術規範。
基本介紹
- 中文名:規格描述語言
- 外文名:Specification and Description Language
- 簡稱:SDL
- 定義:描述用戶要求、交換機性能指標
- 適用:系統設計和程式設計初期
- 套用學科:計算機原理
SDL(Specification and Description Language)語言是規格與描述語言。它以一種框圖和流程圖的形式,描述了用戶要求、交換機性能指標和設計結果。適用於系統設計和程式設計初期,概括說明整個系統的功能要求和技術規範。
該語言通常可用於表示順序過程,並可表示程式的算法。也稱為程式描述語言(Program Description Language,PDI。)。在偽語言中除控制結構外,語法基本與自然語言類似,但不使用修飾語、複合語句、腳註等,目的是明確地描述需求規格說明。PSL ...
這種語言就叫作規格說明語言。大型軟體的規格說明往往十分冗長,因而希望這種語言易於用計算機處理,以便能用機器檢查軟體規格說明中有無遺漏或自相矛盾的地方。軟體規格說明的內容可根據不同場合的需要而有所側重。功能規格說明 對軟體所應...
《軟體形式規格說明語言—Z》是2012年11月清華大學出版社出版的圖書,作者是繆淮扣、陳怡海。內容簡介 形式方法是一種基於數學的軟體開發方法。形式規格說明是形式方法最基本的部分,它精確描述用戶需求和計算機軟體系統的功能,並用於軟體...
功能規約語言是指用於書寫軟體功能規約的語言,通常又稱為功能性語言。軟體功能規約也稱功能規格說明,是軟體所要完成功能的精確而完整的陳述,通常只刻畫軟體系統“做什麼”的外部功能,而不涉及系統“如何做”的內部算法。典型的功能性語言...
前後斷言是一種用於刻劃軟體功能的形式化方法,在可以隨意使用謂詞的情況下,前後斷言可以清晰而方便地描述各種問題。然而,基於前後斷言方法的軟體規格說明語言所能提供的基本謂詞集是有限的。為使這樣有限的基本謂詞集能滿足前後斷言方法刻劃...
波形描述語言(WDL,Waveform Description Language)是一種常用於描述軟體無線電系統需求規格的語言,它綜合了多個研究領域的原理而形成,可以用於解決定義和實現空中波形的設計技術和工具的不兼容性等問題。本小節將對WDL的起源、特點、開發...
主要研究內容包括:為嵌入式控制軟體形式化規格說明語言SPARDL提供與形式化語義一致的圖形化描述;建立圖形化描述引導的形式化規格說明工程化構建過程,引導開發者從原始需求出發通過不同階段構建形式化規格說明;研究規格說明審查以保證規格說明...
編程語言的描述一般可以分為語法及語義。語法是說明程式語言中,哪些符號或文字的組合方式是正確的,語義則是對於編程的解釋。有些語言是用規格檔案定義,例如C語言的規格檔案也是ISO標準中一部分,2011年後的版本為ISO/IEC 9899:2011,而...
MathML 使用文本的形式來描述數學表達式的樹形結構,克服了傳統的Web中使用圖片表達數學公式的缺點。歷史 它是由W3C的數學工作組提出的。語言規格1.01版於1999年7月公布,2.0版於2001年2月出現。W3C的數學工作組在2003年10月發布了Math...
UML不只是一種圖形語言。實際上,在它的圖形表示法的每部分背後都一個規格說明,這個規格說明提供了對構造塊的語法和語義上的文字敘述。UML的圖形表示法用來對系統進行可視化;UML的規格說明用來描述系統的細節。UML的規格說明提供了一個...
61需求規格說明的作用 62需求規格說明的特性 63需求規格說明的結構和內容 64需求規格說明文檔的編寫要求 65需求規格說明的描述語言 第7章需求的形式化描述 71形式化規格說明及其方法 72形式化規格說明與軟體開發 7...
6.1需求規格說明的作用 6.2需求規格說明的特性 6.3需求規格說明的結構和內容 6.4需求規格說明文檔的編寫要求 6.5需求規格說明的描述語言 第7章需求的形式化描述 7.1形式化規格說明及其方法 7.2形式化規格說明與軟體開發 7.3基於...
Java虛擬機(Java Virtual Machine 簡稱JVM)是運行所有Java程式的抽象計算機,是Java語言的運行環境,它是Java 最具吸引力的特性之一。系統介紹 Java虛擬機(JVM)一種用於計算機設備的規範,可用不同的方式(軟體或硬體)加以實現。編譯...
總之,UML是一個通用的標準建模語言,可以對任何具有靜態結構和動態行為的系統進行建模,而且適用於系統開發的不同階段,從需求規格描述直至系統完成後的測試和維護。特點 (1)UML統一了各種方法對不同類型的系統、不同開發階段以及不同...