您要查找的是不是:
- 規格說明語言Zspecification language Z
- 維也納開發方法規格說明語言Vienna Development Method Specification Language
- 面向方面分散式系統形式化規格說明語言Aspect-Oriented Distributed Formal Specification Language
- Z語言和實時timed CSP進行集成后,稱為RT-Z。 因此RT-Z是一種集成形式化規格說明語言。So the thesis presents integrating Z and timed CSP.
- 規格norm
- 可執行的規格說明語言[計] executable specification language
- 說明語言descriptive language
- 屬性說明語言property specification language
- 規格說明specification
- 測試說明語言[計] ATSL
- Z規格說明中笛卡爾積運算元自動求精的研究與實現Cartesian Operator Automatic Refinement Research and Implementation in Z Specification
- 對話說明語言[計] DSL
- 高級說明語言high-level specification language
- 產品規格說明product requirement specification
- 介面說明語言[計] IDL
- Z規格說明Z specification
- 軟體說明語言[計] SSL
- 規格說明表specification sheet
- 系統規範說明語言system specification language
- 規格說明宏指令specification macro