According to the Functional Requirements for Community Health Service,the system specification is described formally with Z language. The specification includes basic data,system status and system operations.
英
美
- 通過(guò)對社區衛生服務(wù)的功能需求出發(fā),采用Z語(yǔ)言對系統規格進(jìn)行了形式化說(shuō)明,包括基礎數據、系統狀態(tài)以及系統操作等。
