我国民事诉讼立法中的"程序工具主义"及其问题——对我国民事诉讼立法指导思想的反思

"程序工具主义"强调程序在保障实体法实施方面的作用和意义,否定程序本身具有的独立价值和品质,这种思想在中国的产生既具有特定的政治、经济务件,又具有相应的人文基础。以这种思想指导民事诉讼程序立法,导致了现行《民诉法》在程序设置上的诸多问题,我国《民诉法》在修改完善中应当摈弃这种指导思想和立法观念。

SPICE程序工具在电子电路设计中的应用

电子电路设计已广泛采用计算机辅助设计 (CAD) ,SPICE是CAD中的优秀程序工具。

程序工具主义与刑讯逼供

刑讯逼供是一种严重侵犯公民人身权利的行为，也是造成冤假错案的主要原因之一。它和程序工具主义有着直接的关系。文章从无罪推定原则，被告人沉默权，非法证据的排除使用，对刑讯逼供行为的处罚不力等方面出发。

论正当行政程序与行政程序的正当性——兼以程序工具主义及程序本位主义的视角

对行政权进行程序控制是行政法的一大发展潮流,合法、合理的行政行为遵循的程序应当是正当的行政程序,即符合正义性原则、具备正当性的行政程序。由于行政行为及行政程序的多样性和多层次性,从程序工具主义兼程序本位主义的视角出发,行政程序的正当性要素可以分为三个层次:程序正当性要素的最低要求、程序正当性要素的最高要求、程序正当性要素的一般要求。

轻罪治理中的程序性权力扩张及其理性应对

目前通过刑事诉讼程序进行轻罪治理的理论和实践,均一定程度上主张扩张程序性权力,“程序工具主义”色彩浓厚。不当的程序性权力扩张潜藏着“象征性程序”现象加剧、程序性控制机能不足以及规范效力的整体受损等风险。对轻罪进行程序治理需立足于程序独立理念,回归刑事诉讼程序的谦抑性,明确治理公权。在划清程序谦抑与程序无为之间界限的基础上,遵循“扩充权利以收缩权力”的总体方向,以阅卷权和异议权为支点对审前程序的谦抑性进行重塑,并围绕公诉审查、证明机制以及权利救济机制对审判程序进行制度完善。

程序静态分析技术与工具

静态分析对于保证程序质量,提高软件生产率有重要的意义。本文综述了静态分析常用的策略,介绍了当前静态分析的研究现状,比较了目前已有的静态程序分析工具。

计算机辅助程序提取工具——CAPET的机理研究

从目标码提取源程序是维护、开发没有源程序的软件的基础。本文讨论了研制计算机辅助程序提取工具CAPET的部分理论依据。

程序控制流图：一种可观化的程序设计工具

本文详细地介绍了一种可视化的程序设计工具：控制流图（ＣＦＧ）。该图表示一个过程内所有基本块执行的可能流向，也能反映一个过程的实时执行过程。除了描述ＣＦＧ所具有的功能外，本文还论述了ＣＦＧ的实现途径以及使用方法。最后，给出了进一步改进的方向。

面向问题的系统化程序设计方法及其描述工具

一、引言 回顾以程序设计为核心的计算科学的研究、实践和教学,虽然有越来越多的人参与和林林总总的成果发表,而“程序设计危机”并没有得到根本的改善,为此,W.J,Dijistra重指出“

Java程序分析工具在复杂网络背景下的分析与设计

复杂网络背景下的Java程序分析工具,大大提高了Java软件应用系统的前景,促进了软件行业的不断创新。本文就复杂网络背景下的Java程序分析工具进行概述,分析复杂网络背景下的Java程序分析工具JPAC的工作原理和结构,提出在复杂网络背景下Java程序分析工具的设计思想和方法。

一个实用的并行/分布程序设计工具PJVM

ＰＪＶＭ（ＰａｒａｌｅｌＪａｖａＶｉｒｔｕａｌＭａｃｈｉｎｅ）采用扩充Ｊａｖａ语言功能的方法，提供了基于分布式共享存储器的编程接口ＤＳＭ（ＤｉｓｔｒｉｂｕｔｅｄＳｈａｒｉｎｇＭｅｍｏｒｙ）和基于消息传递的编程接口ＭＰＩ（ＭｅｓｓａｇｅＰａｓｉｎｇＩｎｔｅｒｆａｃｅ），用户可以利用Ｊａｖａ语言和扩充的两个编程接口，方便地设计在异构环境下运行的并行／分布程序。

VNET:一个异构环境下的分布式程序开发工具

缺乏分布式环境下的程序开发工具是影响分布式应用开发的主要困难,VNET是一个异构环境下的分布式程序开发工具,它由一组对用户屏蔽系统和网络特征,易于移植的通信原语,在各种实际网络中的运行支撑系统和用于分布式程序调试和监视的虚拟网络环境构成。本文重点讨论了虚拟环境的设计。

Pro／Program方便实用的程序设计工具

主要介绍Pro／Program的特性、语法以及Pro／Program与Family Table的应用关系，同时通过实例说明了Pro／Program的使用流程。

网络程序调试工具NBW的设计与实现

NBW(NetBIOS Windows)是一个用于协助用户调试网络应用程序的工具软件系统,而且还可以用于网络状态测试和用于网络课程教学。本文介绍了NBW的设计思想,整体结构,模块功能及其实现的方法,最后给出了应用的实例。

SCOUnix环境与程序员工具集

本文介绍了在ＳＣＯＵｎｉｘ环境下如何选择设计语言，编译程序，排错工具ＧＵＩ与ＯＯ类工具及执行监督程序，内存边界检查程序等，以构成自己的程序工具集。

FoxPro 2.5的程序开发工具

与普通的数据库管理系统如FoxBASE等一样,FoxPro2.5提供了交互方式和程序方式这两种执行方法。 在交互方式下,除了可在命令窗口中输入命令进行数据库操作外,还叮以用系统提供的菜单和对话框来执行相关操作。使用菜单和对话框能够很容易地访问FoxPro的所有特性,而不必记住一条条具体的命令。 为简化程序方式下的程序设计工作,FoxPro提供了菜单和屏幕设计工具、SQL查询程序生成工具、报表(标签)设计工具。

一个自动并行程序转换工具

1.引言在数值计算中,往往循环迭代所占的时间最多,因此,我们的并行库和并行识别器AUTOPAR是针对循环实现的。IX)循环经过PORT系统的分析(流分析、依赖分析和;州了分析),我们就知道它在哪层是可并行的以及是否存在体间依赖等。对于既一可并行,又无体间依赖的循环,AUTOPAR首先去判断它是否可转换成并行库调用。

过程嵌套调用图生成程序NESTING.COM——VAX/VMS上的一个程序分析工具

本文介绍一个用于程序分析的命令过程。该命令过程主要功能是为分析者提供一张程序执行时过程之间的调用关系图,使分析者对程序的执行过程一目了然。对分析较长、较复杂的程序是一种强有力的工具。本文附有实例及命令过程的程序本身。

适用于并行操作的C语言程序测试工具ParCT

并行计算技术的飞速发展给软件测试带来了新的要求．并行软件测试可以分为基于进程内部的控制流测试和基于进程间相互关系的时序测试．文中所介绍的并行软件的测试工具——ＰａｒＣＴ （ｐａｒａｌｌｅｌＣ－ｌａｎｇｕａｇｅ ｔｅｓｔｉｎｇｔｏｏｌｓ）主要是面向控制流的．文中介绍了ＰａｒＣＴ的运作机制及其主要功能：通过对程序的动态测试得到测试的覆盖率、列出未覆盖分支以及对各个分支的访问频度，从而帮助用户完成对测试程度的评估并为用户设计新的测试用例提供目标．在此基础上，还对并行测试工具所面临的一系列新课题，诸如进程的实时跟踪、面向控制流的测试产生（ｔｅｓｔｇｅｎｅｒａｔｉｏｎ）算法、面向多线程的测试工具、并行程序的时序测试（ｔｉｍ ｉｎｇ ｓｅｑｕｅｎｃｅ ｔｅｓｔｉｎｇ）等。