功能規約語言是指用於書寫軟體功能規約的語言,通常又稱為功能性語言。軟體功能規約也稱功能規格說明,是軟體所要完成功能的精確而完整的陳述,通常只刻畫軟體系統“做什麼”的外部功能,而不涉及系統“如何做”的內部算法。典型的功能性語言有廣譜語言、Z語言等。
基本介紹
- 中文名:功能規約語言
- 外文名:Functional specification language
- 別稱:功能性語言
- 定義:於書寫軟體功能規約的語言
- 典型類型:廣譜語言、Z語言等
- 學科:軟體術語
功能規約語言是指用於書寫軟體功能規約的語言,通常又稱為功能性語言。軟體功能規約也稱功能規格說明,是軟體所要完成功能的精確而完整的陳述,通常只刻畫軟體系統“做什麼”的外部功能,而不涉及系統“如何做”的內部算法。典型的功能性語言有廣譜語言、Z語言等。
功能規約語言是指用於書寫軟體功能規約的語言,通常又稱為功能性語言。軟體功能規約也稱功能規格說明,是軟體所要完成功能的精確而完整的陳述,通常只刻畫軟體系統“做...
功能性語言亦稱“功能規約語言”,是用以書寫軟體功能規約的語言。... 功能性語言亦稱“功能規約語言”,是用以書寫軟體功能規約的語言。中文名 功能性語言 性質 ...
軟體語言(Software Language)是用於書寫計算機軟體的語言。它主要包括需求定義語言、功能性語言、設計性語言、程式設計語言以及文檔語言等。...
設計性語言是軟體語言重要組成成分之一。設計性語言用以書寫軟體設計規約。軟體設計規約是軟體設計的嚴格而完整的陳述。一方面,它是軟體功能規約的算法性的細化,刻畫...
廣譜語言(wide spectrum language)是指可在不同的抽象級別上書寫軟體需求定義、功能規約、設計規約及實現的語言。好的軟體規約要在較高的抽象級上說明做什麼,強調...
本書包括軟體規約方法和語言、一階邏輯和集合論、模式與規約、模式推理、Z語言的面向對象擴充等16章。...
統一建模語言(Unified Modeling Language,UML)是一種為面向對象系統的產品進行說明、可視化和編制文檔的一種標準語言,是非專利的第三代建模和規約語言。UML是面向對象...
《軟體工程卷2:系統與語言規約》是2009年清華大學出版社出版的圖書,作者是Dines Bjorner。...
世界著名(語言)哲學家萊波雷與斯通2015年的新著《想像與規約》由牛津大學出版社出版。在這本書中,作者同經典格賴斯理論和傳統語義學/語用學分界觀決裂,而試圖從一...
一、網路行政倫理規約的內涵 二、“規約”的道德語言探究 三、網路行政倫理規約...第三節網路行政倫理規約的結構與功能 一、網路行政倫理規約的結構 二、網路...
《軟體工程卷2:系統與語言規約》介紹了描述系統與語言的規約的基本原理和技術。首先,然後講授一些高級的原理和技術:分層與組合、指稱與計算以及構型:環境與狀態的...