程序缺陷相关论文
在程序静态分析中,为达到精度与效率的有效平衡,基于缺陷模式的分析方法在大规模程序开发、维护中得到了广泛的应用。目前研究机构和......
缺陷,是导致程序不能正常运行的错误或瑕疵。由于缺陷的存在,使程序运行轻则结果出错,重则崩溃退出,甚至造成人力、物力、财力的重大损......
函件审计程序是注册会计师获取被审计企业经营信息的重要渠道,如能通过询证程序取得高质量的数据,将大大提高其工作的效率与质量。......
民事审判监督程序的立法设计,本意旨在对当事人权利的保护和对法律公正的维护,然而其在实践中却暴露出种种弊端,本文以一案例为视......
我国现行城市房屋拆迁制度的程序规定缺少被拆迁人的事前参与,征收缺位,拆迁许可规划缺少程序保障,补偿纠纷裁决缺少中立性。针对这些......
大型软件系统中的代码复制和修改现象可能导致程序缺陷的扩大以及无用代码的存在,克隆代码检测分析则有助于抽取可复用的软件组件和......
国家赔偿制度对于实施宪法,建设社会主义法治国家,保障公民合法权益来说有着极其重要的意义。但是,我国国家赔偿法在实体法、程序......
捕后羁押必要性审查制度是针对逮捕后的羁押必要性审查的制度设计。这一制度具有无罪推定原则,比例原则,人权保障原则的理论根基,对限......
自2007年1月1日,最高人民法院收回了死刑核准权,虽然在一定程度上解决了区域间死刑适用标准不统一和错杀的问题,但是死刑复核程序在立......
人身权是公民重要的宪法权利,刑事程序对公民人身自由的限制和剥夺应合理且正当。合理的刑事程序理应反映人们对刑事诉讼的价值诉......
一、基本案情 张某研究生毕业后,于2004年应聘到某公司(以下简称C公司)。2005年初,张某所在的C公司与另一网络公司(以下简称B网......
随着民主制度的发展,选举制度应运而生,而人民代表大会制度就是我国民主化程度的主要标志。人民代表大会制度由人大代表组成,而人......
分析PSA制氢单元这一典型时序操作过程的控制特点和要求,介绍采用CENTUM VP系统3类逻辑组态工具组合顺控功能控制的程序设计特点。......
民主党派民主监督职能发挥呈弱化之态。现代民主政治是一种程序政治,民主监督不力与监督程序缺陷有关。民主监督的程序缺陷主要表现......
2012年我国民事诉讼法修改增加了小额诉讼程序,旨在对标的额较小的简单民事案件通过更简便易行的程序为公众提供更便捷的救济,舒缓......
不予执行仲裁裁决作为仲裁执行司法监督方式在一定程度上保障了仲裁执行的公正,但是在申请和审查程序上存在被申请执行人申请形式......
目前,高校学生申诉制度已初步建立,但申诉制度在程序方面尚有诸多亟待完善之处,表现在法律法规所规定的申诉程序过于原则化、程序......
单元测试是整个软件开发过程中的一个重要环节。执行一个完备的单元测试方案将会提高整个开发过程的时间效率,验证软件功能与详细设......
我国目前工伤认定的程序制度是以《工伤保险条例》为基础而建立的,但该制度存在着程序繁琐冗长、行政程序的处理方式与准司法属性......
本文讨论了我国信息权利的两种救济途径的主体性缺陷和规则性缺陷。认为,信息权利的救济应最大程度地使用行政资源,尽量在行政程序......
行政强制执行是指在当事人不履行其行政法上的义务时,国家行政机关可以采取法定的强制手段,强制当事人履行其义务。这就是行政法上......
刑事指令再审是刑事再审中经常被运用的程序,它对于纠正冤假错案发挥着积极作用。2012年我国新《刑事诉讼法》的修订,对指令再审程......
根据现行法律规定,劳动者在出现伤害后提起工伤赔偿救济,往往会陷入无休止的程序怪圈中,工伤赔偿权利得不到及时有效的保障。本文......
在市场经济条件下,政府为实现公共物品与服务品的生产及供给职能,往往通过市场机制来进行公共物品及服务品的集中购买和销售,为此,......
阻止效率违约论、引诱对方违约论、增加社会成本论、排除外来竞争论以及不当得利论等反对惩罚性违约金的诸多理由并不成立,相反,惩......