程序转换相关论文
云计算服务是虚拟化、集群计算和远程计算等多种技术相互融合发展的新型服务。该技术通过虚拟化技术,允许个人或者组织的数据和程......
2020年1月最高人民法院发布《民事诉讼程序繁简分流改革试点方案》 （以下简称《试点方案》）和《民事诉讼程序繁简分流改革试点实施办......
该文共分为五部分.第一章概述了形式倾方法;第二章着重讨论自定义Java类库的设计和实现;第三章阐述工算子的研究、实现和应用;第四......
该文就是研制这样的转换工具——从APLA程序到ADA程序自动转换系统,所做的工作有以下几点:1、运用PAR方法进行算法开发;2、对APLA......
有效解决“软件危机”的一种重要途径是使用形式化方法来开发软件产品。薛锦云教授在国家863和多项国家自然科学基金的资助下，根据......
用形式化方法开发软件，被当今计算机界誉为克服“软件危机”、提高软件可靠性和生产效率的革命性途径，是实现软件自动化的关键。薛锦......
本项研究作为PAR方法研究的一个重要组成部分,目标是开发一个自动程序转换系统,该系统能将用Radl语言描述的算法转换成抽象语言程......
软件的可靠性差和开发效率低一直是困扰软件产业界的两大难题，高效率地开发正确、可靠的软件已成为软件产业的迫切要求。软件开发的......
程序的分析技术在许多领域有广泛的应用前景。例如，对学生程序的自动分析评价；利用程序分析比较工具来辅助软件版权的分析鉴别。但是......
重构技术由于其在构造灵活代码方面的实用价值已经获得了普遍应用。重构旨在提高软件质量，增强可理解性和可维护性。面向方面编程(A......
随着软件的迅速发展和广泛应用,并行程序在天气预测、石油勘探等一些重要领域的应用也越来越普遍。目前,OpenMP已经成为使用最广泛......
“3D打印”这一词语在今年刚出现的时候，它只被很多人当做奇闻异事而已。但随着打印楼房、汽车甚至肾脏的新闻出现，它开始被各路媒体......
随着技术的发展,信息物理融合系统(cyber-physical system,简称CPS)在生活中扮演着越来越重要的角色,例如电力系统、铁路系统.如果......
工业机器人编程方式主要是示教编程和离线编程,面对当前机器人的应用情况和发展需要,示教编程已经难以满足生产需求。离线编程可以......
工业机器人的发展经历了示教再现和离线编程两个阶段。近年来,以离线编程为基础的机器人柔性自动化系统的开发,代表了机器人系统二......
督促程序自1991年被我国引进以来，并没有发挥应有的快速解决债权债务纠纷的功能。然而，在德、日等大陆法系国家，督促程序已成为解决小......
我国当前小额诉讼的适用率较低,究其制度原因,主要在于制度配套不健全,导致启动机制欠缺、程序转换随意.因此,小额诉讼规范重塑就......
新民诉法增加了小额诉讼程序。笔者认为小额诉讼程序即是简易程序再简化程序,小额诉讼程序与普通程序的转换实质即简易程序与普通......
2013年1月1日,我国新修订的《民事诉讼法》正式实施,其中在简易程序一章设立了小额诉讼程序。然而对于小额诉讼程序适用的范围和方......
与线下庭审相比,在线庭审模式缺乏在场性、仪式感等程序要素,造成直接言词原则的适用基础被削弱、程序说服功能弱化以及司法权威无......
