运用相关信息技术手段可以使企业内控信息化的实施更加规范化，将内控理念、内部相关的控制制度规范、措施以及流程固化到信息系统中去，把企业的信息系统不断转化并提升为集企业内控需求为一体的信息化管理平台。企业的内控信息化实施过程复杂，信息量大，需要更加科学合理的方法对其分析才能保证内控系统的实施质量符合标准。领域分析以及形式化方法正是基于此种要求下产生的，通过计算机对软件与硬件系统展开分析、建模、规范及证明的方式与技术，最终应用在企业的内控信息化管理系统中，本文以销售业务为实例，探讨领域分析及形式化方法内控信息化的实施过程。
NETL
NSTL
万方数据
