| 社区卫生服务系统形式化规格说明 |
| |
| 引用本文： | 陈宇峰,潘正清.社区卫生服务系统形式化规格说明[J].湖北汽车工业学院学报,2006,20(3):42-46. |
| |
| 作者姓名： | 陈宇峰 潘正清 |
| |
| 作者单位： | 湖北汽车工业学院,计算中心,湖北,十堰,442002;湖北汽车工业学院,计算中心,湖北,十堰,442002 |
| |
| 摘 要： | 通过对社区卫生服务的功能需求出发,采用Z语言对系统规格进行了形式化说明,包括基础数据、系统状态以及系统操作等。采用形式化方法对社区卫生服务系统进行设计,能够得到一致的、精确的、简明的和无歧义的规格说明。
|
| 关 键 词： | 医院信息化 社区卫生服务 需求分析 形式化规格说明 |
| 文章编号： | 1008-5483（2006）03-0042-05 |
| 收稿时间： | 2006-05-06 |
| 修稿时间： | 2006年5月6日 |
Formal Specification of Community Health Service System |
| |
| Chen Yufeng,Pan Zhengqing.Formal Specification of Community Health Service System[J].Journal of Hubei Automotive Industries Institute,2006,20(3):42-46. |
| |
| Authors: | Chen Yufeng Pan Zhengqing |
| |
| Institution: | Computer Center, Hubei Automotive Industries Institute, Shiyan 442002, China |
| |
| Abstract: | 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.When designing with formal approach,the consistent,accurate,concise and unambiguous specification can be obtained for the community health service system. |
| |
| Keywords: | hospital informalization community health service requirements analysis formal specification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
