CAJ | 학술논문

企业内控信息化实施需要运用信息技术手段将内控理念、内部控制制度规范、流程、措施固化到信息系统中，将企业信息系统转化、提升为一个集成了企业内控需求的信息化管理平台。企业内控信息化实施是一个复杂庞大的系统工程，需要有科学规范的方法、工具和技术以保证内控系统实施的质量。领域分析和形式化方法是计算机软件工程中对软硬件系统进行分析、规范、建模、证明的方法和技术，将其应用于企业内控信息化实施，可以在内控系统运行前，通过基于数理逻辑证明的方法快速有效地发现系统设计和实施中存在的缺陷和漏洞，降低企业内控系统低效或失效的风险。本文以销售业务为例讨论了领域分析与形式化方法的内控信息化实施过程。
기업내공신식화실시수요운용신식기술수단장내공이념、내부공제제도규범、류정、조시고화도신식계통중，장기업신식계통전화、제승위일개집성료기업내공수구적신식화관리평태。기업내공신식화실시시일개복잡방대적계통공정，수요유과학규범적방법、공구화기술이보증내공계통실시적질량。영역분석화형식화방법시계산궤연건공정중대연경건계통진행분석、규범、건모、증명적방법화기술，장기응용우기업내공신식화실시，가이재내공계통운행전，통과기우수리라집증명적방법쾌속유효지발현계통설계화실시중존재적결함화루동，강저기업내공계통저효혹실효적풍험。본문이소수업무위례토론료영역분석여형식화방법적내공신식화실시과정。