证明义务相关论文
互联网金融异军突起的当下,侵犯个人金融信息案件频繁发生,现有研究成果侧重于讨论实体法,被侵权人在诉讼中面临的“举证难”问题......
我国《最高人民法院关于审理独立保函纠纷案件若干问题的规定》第3条提供了独立保函的认定标准,具体可分为形式标准和实质标准。前......
在传统的软件开发过程中，通常采用非形式化或半形式化方法作为软件需求描述的手段，但是非形式化方法和半形式化方法都无法避免自然语......
互联网金融异军突起的当下,侵犯个人金融信息案件频繁发生,现有研究成果侧重于讨论实体法,被侵权人在诉讼中面临的“举证难”问题......
对C煳的无线通信系统的故障恢复模型进行了研究，使用Event-B对C棚无线通信系统的故障恢复过程进行建模．通过证明义务对模型的逻辑正......
随着劳动法律体系的日趋完善，工会在体系中的地位越来越高，权利也越来越多，但是相应的证明义务却有所缺失，导致工会维权职能受损，这是由......
<正> 一、前言刑事诉讼法中"无罪推定"原则的重要使命是"必须算重和维护人权:证据不实者不判罪,也就是说,不处罚无辜者。"从历史......
B方法是支持规格说明到软件设计和执行的形式化方法。文章研究了B方法中一种抽象机库的实现模型和生成代码,对该方法的特点进行评......
海关估价制度不仅影响关税收入,而且关乎进出口商人的利益。本文在分析当前国内相应立法缺陷的基础上,借鉴《WTO海关估价协议》的......
人工编制联锁表难以保证联锁表的准确性,而且单纯依靠人工检查联锁表中每个表项的正确性也是一项非常繁琐的工作。文章针对目前存......
准确理解专业技术人员资格考试报名证明事项告知承诺制专业技术人员资格考试报名证明事项告知承诺制是指:第一,报考人员报名参加相......
在我国诉讼理论界,传统的观点是人民法院也承担证明责任.但随着我国刑事审判方式的改革及刑事诉讼法的不断完善,这一观点无论从理......
信息物理融合系统是信息世界和物理世界高度融合和深度协作的新型工业系统,被美国政府列为未来八大关键信息技术的首位。它采用计......
B方法是一种软件形式化方法。支持从规格说明到代码生成的整个软件开发周期。本文比较系统地分析了B方法规格说明的构造结构。并结......
形式化方法B支持从抽象规约到实现的完整的开发过程,用于开发安全关键的软件系统。给出了B方法精化的定义后,介绍了抽象机的精化过......
证明责任是民事诉讼制度的核心,但是我国现在对于民事证明责任问题的研究依然还不深入,甚至对于基本的问题的研究尚存在着较大争议......
刑事自诉的主体是自诉的当事人 ,是以自己的名义向人民法院起诉 ,在请求人民法院通过审判追究被告人刑事责任的自诉案件中处于原告......
针对民事诉讼中的一方当事人在败诉后,因不明白案件要件事实处于真伪不明状态时,法院为何要判决自己单方面承担证明责任的败诉不利......
建国以来,经过几代法律人的努力,我国已经基本形成了分配形式单一而简洁的刑事证明责任分配体系:以定罪证明为核心,非法证据排除程......
