湖北汽车工业学院学报
湖北汽車工業學院學報
호북기차공업학원학보
JOURNAL OF HUBEI AUTOMOTIVE INDUSTRIES INSTITUTE
2006年
3期
42-46
,共5页
医院信息化%社区卫生服务%需求分析%形式化规格说明
醫院信息化%社區衛生服務%需求分析%形式化規格說明
의원신식화%사구위생복무%수구분석%형식화규격설명
通过对社区卫生服务的功能需求出发,采用Z语言对系统规格进行了形式化说明,包括基础数据、系统状态以及系统操作等.采用形式化方法对社区卫生服务系统进行设计,能够得到一致的、精确的、简明的和无歧义的规格说明.
通過對社區衛生服務的功能需求齣髮,採用Z語言對繫統規格進行瞭形式化說明,包括基礎數據、繫統狀態以及繫統操作等.採用形式化方法對社區衛生服務繫統進行設計,能夠得到一緻的、精確的、簡明的和無歧義的規格說明.
통과대사구위생복무적공능수구출발,채용Z어언대계통규격진행료형식화설명,포괄기출수거、계통상태이급계통조작등.채용형식화방법대사구위생복무계통진행설계,능구득도일치적、정학적、간명적화무기의적규격설명.
