会计研究
會計研究
회계연구
ACCOUNTING RESEARCH
2013年
3期
72-78
,共7页
内部控制信息化实施%领域分析%形式化方法%销售业务内控
內部控製信息化實施%領域分析%形式化方法%銷售業務內控
내부공제신식화실시%영역분석%형식화방법%소수업무내공
企业内控信息化实施需要运用信息技术手段将内控理念、内部控制制度规范、流程、措施固化到信息系统中,将企业信息系统转化、提升为一个集成了企业内控需求的信息化管理平台.企业内控信息化实施是一个复杂庞大的系统工程,需要有科学规范的方法、工具和技术以保证内控系统实施的质量.领域分析和形式化方法是计算机软件工程中对软硬件系统进行分析、规范、建模、证明的方法和技术,将其应用于企业内控信息化实施,可以在内控系统运行前,通过基于数理逻辑证明的方法快速有效地发现系统设计和实施中存在的缺陷和漏洞,降低企业内控系统低效或失效的风险.本文以销售业务为例讨论了领域分析与形式化方法的内控信息化实施过程.
企業內控信息化實施需要運用信息技術手段將內控理唸、內部控製製度規範、流程、措施固化到信息繫統中,將企業信息繫統轉化、提升為一箇集成瞭企業內控需求的信息化管理平檯.企業內控信息化實施是一箇複雜龐大的繫統工程,需要有科學規範的方法、工具和技術以保證內控繫統實施的質量.領域分析和形式化方法是計算機軟件工程中對軟硬件繫統進行分析、規範、建模、證明的方法和技術,將其應用于企業內控信息化實施,可以在內控繫統運行前,通過基于數理邏輯證明的方法快速有效地髮現繫統設計和實施中存在的缺陷和漏洞,降低企業內控繫統低效或失效的風險.本文以銷售業務為例討論瞭領域分析與形式化方法的內控信息化實施過程.
기업내공신식화실시수요운용신식기술수단장내공이념、내부공제제도규범、류정、조시고화도신식계통중,장기업신식계통전화、제승위일개집성료기업내공수구적신식화관리평태.기업내공신식화실시시일개복잡방대적계통공정,수요유과학규범적방법、공구화기술이보증내공계통실시적질량.영역분석화형식화방법시계산궤연건공정중대연경건계통진행분석、규범、건모、증명적방법화기술,장기응용우기업내공신식화실시,가이재내공계통운행전,통과기우수리라집증명적방법쾌속유효지발현계통설계화실시중존재적결함화루동,강저기업내공계통저효혹실효적풍험.본문이소수업무위례토론료영역분석여형식화방법적내공신식화실시과정.
