企业内控信息化实施的规范化方法研究——基于领域分析与形式化方法

来源 :会计研究 | 被引量 : 0次 | 上传用户:tlf123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
企业内控信息化实施需要运用信息技术手段将内控理念、内部控制制度规范、流程、措施固化到信息系统中,将企业信息系统转化、提升为一个集成了企业内控需求的信息化管理平台。企业内控信息化实施是一个复杂庞大的系统工程,需要有科学规范的方法、工具和技术以保证内控系统实施的质量。领域分析和形式化方法是计算机软件工程中对软硬件系统进行分析、规范、建模、证明的方法和技术,将其应用于企业内控信息化实施,可以在内控系统运行前,通过基于数理逻辑证明的方法快速有效地发现系统设计和实施中存在的缺陷和漏洞,降低企业内控系统低效或失效的风险。本文以销售业务为例讨论了领域分析与形式化方法的内控信息化实施过程。
其他文献
农村土地制度是农村的基本制度,农地制度变革关系到整个国家制度结构的变革。由于农民和国家所处的地位不同,所以对于农村土地制度的看法和在土地制度变革中的行动取向也不同
每一位设计师都有自己所钟爱的设计手法.如今,许多服装设计师都受后现代主义的影响,尝试运用"解构主"来表达自己对服装的理解.比利时的设计师完美地运用了这一手法,设计出了
农村和农业历来是关系中国经济社会发展全局的重大问题,是整个国民经济发展的基础,党中央国务院一直十分重视。我国人口大部分集中在农村,随着社会主义市场经济向纵深发展、
近年来,随着纳米技术的快速发展,纳米材料在生物医学领域受到广泛关注,其长期目标是在纳米技术的基础上,探寻更高效的治疗方式来对抗各类重大疾病。纳米材料由于其特殊的物理
目的系统评价关节镜下经胫骨隧道后交叉韧带(PCL)单束与双束重建的临床疗效。方法计算机检索Pub Med、The Cochrane Library、EMbase、VIP和Wan Fang Data数据库,纳入所有关
将移民安置问题与失地农民问题的结合,针对丹江口移民管理的现状,剖析管理工作中的不足,从社会保障安置、民生、身份认同、文化等方面提出了对策性建议。
文章采用指标体系法、比较分析法和因子分析法,同时结合与河北省周边市及发达地区农业R&D人力资源、财力资源的对比分析,对河北省农业研究和开发(Research and Development,
农民增收是三农问题的重要组成部分,是当前政府和社会关注的热点问题,也是公共管理的研究方向。文章从现有的公共政策入手,结合县级政府的具体决策以及产生决策的途径和效果,
医疗保障是社会保障的重要内容。近年来,随着改革开放、经济发展和社会的全面进步,建立和完善农村医疗保障制度越来越受到各级政府和社会各界的重视。本文在借鉴各国医疗保障
进入新世纪,面对日趋激烈的媒体竞争,中国广播业发展进入提速时代,数字化进程进入了新的时期,跨媒体合作与经营纷纷登台,产业化方兴未艾。省级广播,作为地方广播媒体的“领头