一、程序公正的渊源
正当程序的概念最早出现于1354年爱德华三世的时代。起源于古罗马时代的“自然正义”,近、现代的程序公正由此产生并完善于英国法,并以美国法所继承的“正当程序”思想而形成和展开。 这一概念的本意是指刑事诉讼必须采用正式的起诉方式,并保障被告人接受陪审裁判的权利,后来扩大了其适用范围,即凡是剥夺某种个人利益时必须保障他享有被告知权、陈述权和倾听的权利,进而形成为英美法中人权保障的根本原则。
在英美法中,程序公正观念经历了从自然公正观到正当程序观的演变过程。自然公正的概念根植于自然法,在18世纪以前,这个概念常与自然法、衡平法等通用。近代以后,自然公正通常表示处理纷争的一般原则和最低限度的公正标准,又叫做“诉讼程序中的公正”,其具体内容包括:“任何人不能自己审理自己或与自己有利害关系的案件”“任何一方的诉词都要被听取”。这两项原则被认为是司法公正体系中最基本、最核心的原则,因此一直被牢固地确立于英国司法制度中。依据第一项原则,换言之,就是任何人都不应当在自己的案件中担当法官。这也意味着一个法律制度为保护权利和补偿损失提供的法庭必须是公正的。如果法官与自己审理的案件存在着任何法律上或金钱上的利害关系,或者法官有偏袒一方当事人的迹象,那么法官应被取消审理该案的资格。依据第二项原则,在双方当事人进行诉讼时,法庭应给双方当事人提供平等的陈述己见的机会,法官应处于中立的地位听取他们的意见。
实质性程序的内涵是是指用于发现认定层次重大错报的审计程序。实质性程序包括对各类交易、账户余额和披露的细节测试和实质性分析程序。
实施实质性程序的基本要求:
1.无论评估的重大错报风险结果如何,注册会计师都应当针对所有重大类别的交易、账户余额和披露实施实质性程序。注册会计师实施的实质性程序应当包括下列与财务报表编制完成阶段相关的审计程序:
a. 将财务报表中的信息与所依据的会计记录进行核对或调节,包括核对或调节披露中的信息,无论该信息是从总账和明细账中获取,还是从总账和明细账之外的其他途径获取;
b.检査财务报表编制过程中作出的重大会计分录和其他调整。
2.针对特别风险实施实质性程序的考虑,如果认为评估的认定层次重大错报风险是特别风险,注册会计师应当专门针对该风险实施实质性程序。如果针对特别风险实施的程序仅为实质性程序,这些程序应当包括细节测试、或将细节测试和实质性分析程序结合使用,以获取充分、适当的审计证据。
提示:针对特别风险,可以实施的五种测试程序组合:细节测试;细节测试+实质性分析程序;细节测试+实质性分析程序+控制测试;控制测试+细节测试;控制测试+实质性分析程序。
软件工程一直以来都缺乏一个统一的定义,很多学者、组织机构都分别给出了自己认可的定义:
BarryBoehm:运用现代科学技术知识来设计并构造计算机程序及为开发、运行和维护这些程序所必需的相关文件资料。
IEEE:在软件工程术语汇编中的定义:软件工程是:1.将系统化的、严格约束的、可量化的方法应用于软件的开发、运行和维护,即将工程化应用于软件;2.在1中所述方法的研究
FritzBauer:在NATO会议上给出的定义:建立并使用完善的工程化原则,以较经济的手段获得能在实际机器上有效运行的可靠软件的一系列方法。
《计算机科学技术百科全书》:软件工程是应用计算机科学、数学、逻辑学及管理科学等原理,开发软件的工程。软件工程借鉴传统工程的原则、方法,以提高质量、降低成本和改进算法。其中,计算机科学、数学用于构建模型与算法,工程科学用于制定规范、设计范型(paradigm)、评估成本及确定权衡,管理科学用于计划、资源、质量、成本等管理。
比较认可的一种定义认为:软件工程是研究和应用如何以系统性的、规范化的、可定量的过程化方法去开发和维护软件,以及如何把经过时间考验而证明正确的管理技术和当前能够得到的最好的技术方法结合起来。
ISO 9000对软件工程过程的定义是:软件工程过程是输入转化为输出的一组彼此相关的资源和活动。
其它定义:1.运行时,能够提供所要求功能和性能的指令或计算机程序集合。2.程序能够满意地处理信息的数据结构。3.描述程序功能需求以及程序如何 *** 作和使用所要求的文档。以开发语言作为描述语言,可以认为:软件=程序+数据+文档。 一、软件工程过程是指为获得软件产品,在软件工具的支持下由软件工程师完成的一系列软件工程活动,包括以下四个方面:
1、P(Plan)——软件规格说明。规定软件的功能及其运行时的限制。
2、D(DO)——软件开发。开发出满足规格说明的软件。
3、C(Check)——软件确认。确认开发的软件能够满足用户的需求。
4、A(Action)——软件演进。软件在运行过程中不断改进以满足客户新的需求。
二、从软件开发的观点看,它就是使用适当的资源(包括人员,软硬件资源,时间等),为开发软件进行的一组开发活动,在活动结束时输入(即用户的需求)转化为输出(最终符合用户需求的软件产品)。
三个阶段:定义阶段:可行性研究初步项目计划、需求分析;开发阶段:概要设计、详细设计、实现、测试;运行和维护阶段:运行、维护、废弃
原则:1、抽象;2、信息隐蔽;3、模块化;4、局部化;5、确定性;6,一致性;7、完备性;8、可验证性
欢迎分享,转载请注明来源:内存溢出
评论列表(0条)