本書包括軟體規約方法和語言、一階邏輯和集合論、模式與規約、模式推理、Z語言的面向對象擴充等16章。
本書包括軟體規約方法和語言、一階邏輯和集合論、模式與規約、模式推理、Z語言的面向對象擴充等16章。
本書包括軟體規約方法和語言、一階邏輯和集合論、模式與規約、模式推理、Z語言的面向對象擴充等16章。...
功能規約語言是指用於書寫軟體功能規約的語言,通常又稱為功能性語言。軟體功能規約也稱功能規格說明,是軟體所要完成功能的精確而完整的陳述,通常只刻畫軟體系統“做...
規約方法涉及如何對過程抽象預數據抽象進行規約。軟體語言設計性語言 設計性語言用...Z:一種功能性語言,是以一階謂詞演算為基礎的一種規約語言。程式設計語言用於...
形式化方法的發展趨勢逐漸融入軟體開發過程的各個階段,從需求分析、功能描述(規約...如:Z語言,VDM,B方法等。2)基於邏輯的方法:用邏輯描述系統預期的性能,包括底層...
形式化方法的發展趨勢逐漸融入軟體開發過程的各個階段,從需求分析、功能描述(規約...如:Z語言,VDM,B方法等。2)基於邏輯的方法:用邏輯描述系統預期的性能,包括底層...
4.10.4形式化方法與Z語言4.10.5UML和Z結合的求精方法*4.11一種新的軟體體系...*第15章形式化方法15.1基礎知識15.1.1形式化方法概念15.1.2形式化規約語言...
以及開發和管理軟體需求的方法與技術,按照需求工程中開發和管理過程的順序,結合...7.5.4Z規約的示例 7.6形式描述語言LOTOS 7.6.1LOTOS簡介 7.6.2LOTOS...
《軟體工程卷:-抽象與建模(影印版)》是2007年清華大學出版社出版的圖書,作者是...一些其他的規約語言,比如B、VDM-SL和Z都具有面向模型的概念,本卷則通過RAISE...
一些其他的規約語言,比如B、VDM-SL和Z都具有面向模型的概念,本卷則通過RAISE...《軟體工程卷2:系統與語言規約》介紹了描述系統與語言的規約的基本原理和技術。...