| 企业内控信息化实施的规范化方法研究——基于领域分析与形式化方法 |
| |
| 引用本文： | 陈潇怡,欧阳电平.企业内控信息化实施的规范化方法研究——基于领域分析与形式化方法[J].会计研究,2013(3). |
| |
| 作者姓名： | 陈潇怡 欧阳电平 |
| |
| 作者单位： | 武汉大学经济与管理学院 430072 |
| |
| 摘 要： | 企业内控信息化实施需要运用信息技术手段将内控理念、内部控制制度规范、流程、措施固化到信息系统中,将企业信息系统转化、提升为一个集成了企业内控需求的信息化管理平台。企业内控信息化实施是一个复杂庞大的系统工程,需要有科学规范的方法、工具和技术以保证内控系统实施的质量。领域分析和形式化方法是计算机软件工程中对软硬件系统进行分析、规范、建模、证明的方法和技术,将其应用于企业内控信息化实施,可以在内控系统运行前,通过基于数理逻辑证明的方法快速有效地发现系统设计和实施中存在的缺陷和漏洞,降低企业内控系统低效或失效的风险。本文以销售业务为例讨论了领域分析与形式化方法的内控信息化实施过程。
|
| 关 键 词： | 内部控制信息化实施 领域分析 形式化方法 销售业务内控 |
Research on Implementation of Enterprise Internal Control Informatization ——A View from Domain Analysis and Formal Methods |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
