existential specification 中文意思是什麼
existential specification
解釋
存在規范- existential : adj. 1. 關于存在的，依據存在經驗的。2. 【哲學】存在主義的。3. 【邏輯學】存在判斷的。n. -ism 【哲學】存在主義。n. -ist 【哲學】存在主義者。
- specification : n. 1. 詳細說明，逐一登記，詳記。2. 〈pl. 〉規范，規格。3. 清單，明細單。4. 【法律】（申報新發明時的）設計說明書。5. 【法律】用來料加工製成新產品所取得的權利。
-
As the requirements are being played in, the tool automatically generates a formal version in the language of live sequence charts ( lscs ). as the requirements are played out, the tool can make the application react according to the universal parts of the specification, and the existential parts can be monitored to check their successful completion
在相應工具的支持下，通過playin場景，自動生成用形式化規約描述語言lsc （ livesequencechart ）描述的需求規約；通過playout過程， gui根據規約的universal部分做出反應；同時通過監控規約的existential部分檢查系統的執行情況。
分享友人