文献搜索-钛学术文献服务平台

1.【期刊】一种基于程序正确性证明理论的程序开发方法

作者：李云清杨庆红

刊名：计算机应用研究

发表时间：2001-02-01

摘要:

程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法，它使得程序的开发和证明同时进行，程序开发完成的同时其正确性亦得以保证。以两个问题的程序开发为例说明了程序的形式推导方法的使用。

程序的形式推导方法程序规范循环不变式

下载 0

被引 0

 获取原文

2.【期刊】一种新的软件测试数据的进化生成方法

作者：姬秀荔孙玉强李爱玲

刊名：科技与创新

发表时间：2007-10-01

摘要:

测试数据自动生成对降低软件开发成本是非常重要的.本文首先提出了基于程序结构和程序规范相结合来设计适应度函数的新方法:分别设计基于程序结构和基于程序规范的适值函数,再将二者结合作为最终的适应度函数值;然后,在采用上述适应度函数定义的基础上,构造了一种软件测试数据的进化生成方法.

程序结构程序规范测试数据适应度函数

下载 0

被引 0

 获取原文

3.【期刊】基于Hoare逻辑的密码软件形式化验证系统

作者：郝耀辉郭渊博罗婷燕菊维

刊名：计算机工程

发表时间：2012-03-01

摘要:

在Hoare逻辑理论和ACSL语法规范的基础上,设计一种针对密码软件的形式化验证系统,由程序规范、验证推理规则、可靠性策略、验证推理等模块组成.以OpenSSL中RC4算法的软件实现为例,对其功能正确性、保险性和信息流安全性进行验证,结果表明,该系统具有较高的自动化水平,可在一定程度上降低形式化验证方法的复杂度.

Hoare逻辑密码软件形式化验证程序规范 RC4算法

下载 0

被引 3

4.【期刊】试论法医学重新鉴定的程序、实体规范

作者：唐永飚

刊名：中国司法鉴定

发表时间：2009-02-01

摘要:

<关于司法鉴定管理问题的决定>实施三年多来,我国司法鉴定混乱的局面仍未见明显改观,其中一个重要症结在于重新鉴定的无序、失控.重新鉴定从"难"到"乱",暴露出我国现行的司法鉴定管理制度存在弊端,亟待进一步完善.解决问题的对策是必须在管理法规中增加重新鉴定的专门章节,从程序到实体制定严格的操作细则,使重新鉴定得以规范、有序地开展;建立重新鉴定的有效审查机制,保障诉讼的公正和效率.

重新鉴定争议程序规范审查

下载 0

被引 0

5.【期刊】程序的形式推导方法

作者：彭佳红张军

刊名：吉首大学学报(自然科学版)

发表时间：2001-04-01

摘要:

阐述了形式推导方法的基本理论和基本思想.程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法,它使得程序的开发与证明同时进行.以实例说明了程序形式推导方法的使用.

程序的形式推导方法程序规范循环不变式界函数

下载 0

被引 2

6.【期刊】法医尸检程序规则问题的初探

作者：邹晓华

刊名：中国司法鉴定

发表时间：2010-01-01

摘要:

法医尸体检验作为侦查及司法鉴定活动的重要内容,对于各种死亡案件的查处及刑事诉讼具有重要意义.目前我国尚无一部对此进行程序规范的相关法规,致使尸检过程中出现各种争议时,办案单位无法可依,难以处理.制定一部具有法律效力、可操作性强的<尸体检验管理办法>对尸检活动涉及的相关问题进行规范,很有必要.这既是规范执法活动保障办案的需要,同时更是保障人权、维护社会和谐稳定的需要.

尸体检验组织标本程序规范

下载 0

被引 4

7.【期刊】司法鉴定相关问题探析

作者：陈平

刊名：中国司法鉴定

发表时间：2014-01-01

摘要:

司法鉴定是在诉讼活动中鉴定人运用科学技术或者专门知识,对诉讼涉及的专门性问题进行鉴别和判断,并提供鉴定意见的活动.程序合法才能保证实体正确,司法鉴定程序规则是司法鉴定机构和鉴定人开展鉴定活动和实施管理的基础,也是司法机关评断鉴定意见的合法性、科学性、客观性的重要依据.以此为基础,探讨司法鉴定人在实施司法鉴定过程中如何做到程序、方法和鉴定标准等符合相关法律、法规和技术规范的规定.

司法鉴定基本属性程序规范

下载 0

被引 2

8.【期刊】文件鉴定技术标准刍议

作者：贾玉文崔岚

刊名：中国司法鉴定

发表时间：2009-03-01

摘要:

文件鉴定技术标准不是新课题,上世纪50年代就开始规范程序和方法.进入21世纪以来,一批刑事技术和司法鉴定机构,通过了中国合格评定国家认可委员会的国家实验室认可,大大推动了文件鉴定技术标准化的进程.制定文件鉴定技术标准化的意义、条件、标准的内容及相关问题,是对标准制定者有启发和指导作用的.

文件鉴定标准程序规范技术规范

下载 0

被引 3

9.【期刊】论文件鉴定的程序规范

作者：杨旭

刊名：中国司法鉴定

发表时间：2009-03-01

摘要:

在分析文件鉴定整个鉴定活动的过程中,对鉴定程序的规范做了详细的阐述,包括:案件的受理程序、检验/鉴定程序、送检材料的流转程序、结果报告程序、检验记录程序、档案管理程序和出庭质证程序等,能对规范我国文件鉴定的程序起到积极作用.

文件鉴定鉴定程序程序规范

下载 0

被引 1

10.【期刊】建设工程司法鉴定程序规范解读与行业展望

作者：周子义周柯生

刊名：中国司法鉴定

发表时间：2014-06-01

摘要:

根据建设专业领域的特点、鉴定事项对其程序的特殊要求,《建设工程司法鉴定程序规范》(SF/Z JD0500001-2014)对诉前鉴定和非诉鉴定的定义作了广义的解释;提出司法鉴定人作为协助法官查明案件事实的辅助人,在鉴定过程中对案件的事实的发现,应向庭审法官说明和向申请鉴定当事人释明和披露;对建设工程质量进行司法鉴定,不应做出合格或不合格的鉴定意见,而应做出工程质量是否符合施工图设计文件、相关标准、技术文件的鉴定意见;建设工程造价鉴定应遵循依约原则和取舍原则;未经庭审质证的证据,不能作为定案的证据;司法鉴定意见是鉴定类证据的书面表现形式,按其对鉴定结果的确定程度及其证明意义,有确定性意见与推断性意见两类;并对建设工程司法鉴定行业的展望提出意见.

建设工程司法鉴定程序规范解读展望

下载 0

被引 4

文献类型

学科分类

核心收录

年份

来源