词条 程序法

程序法

程序法关乎权利与义务程序的规定,在法学分类中,是相对于关于权利与义务本体之实体法的类别。换句话说,实体法仅规定权利义务,尚不足以落实权利义务内涵,需要有实现权利义务手段方法,因此程序法又称手续法

程序法可以定位为非关实体权利,而系为安排各种程序的法令而言。在大陆法系国家,程序法基本上可以分为民事诉讼法、刑事诉讼法以及行政诉讼法。以下分别叙述之:

  1. 民事实体法所规范的实体权利(所有权、债权等等)必须经由审判的过程才能加以实现,而民事程序法就是在安排民事审判程序的法律,表现在实证法上,就是各国的民事诉讼法律或非讼事件法律等等。
  2. 刑事程序法就是国家为确定对于人民刑罚权的刑事审判程序所应适用的法律,它所规范的是刑事审判程序的进行,而非如刑法(刑事实体法)是对于人民行为的直接禁制。
  3. 行政程序法则是规范行政机关在从事行政行为时,所应遵守的正当法律程序,例如:比例原则、禁止差别待遇、信赖...
程序法相关文献
程序员
工作范围系统分析与设计(SystemsAnalysisandDesign)代码撰写(Coding)测试与除错(TestingandDebugging)撰写技术文件(WriteSpecification)相关职业系统管理员(SA)系统设计师(SD)数据库管理员(DBA)应用分析师(AA)技术支持(TS)相关戏称攻城狮程序猿码农(一般用来自嘲为像农民高强度一样的编码工作者)工程师打字员
查看全文
程序设计
程序设计,设计工具开发环境图像展览早期IBM402会计电脑的程序是用改变线路连接的方式来撰写GANT程序设计软件相关条目中文编程程序软件程序设计语言程序设计实践程序设计方法学软件开发软件设计模式
查看全文
子程序
分类子程序子程序(subroutine)是一个概括性的术语,子程序(subroutine)是所有高级程序所称。它经常被使用在汇编语言层级上。子程序的主体(body)是一个代码区块,当它被调用时就会进入运行。函数函数(function),又称函数,是一种子程序,利用函数名称,可以接收回传值。例如:c=max(a,b);程序程序(procedure)是一种子程序,它能够接受不同的引数,来运行某些特别的动作。例如:printf("HelloWorld\n");函数与程序在某些编程语言中是被分开的,但是在C语言中,所有程序都是函数,这两者被认为是相同的。这有可能造成一些副作用,特别是在回传值是void类型时。方法在面向对象程序设计语言中,类别或对象中的子程序,被称为方法(method)。
查看全文
程序错误
史上的第一个隐错1947年9月9日,葛丽丝·霍普(GraceHopper)发现了第一个电脑上的bug。当在MarkII计算机上工作时,整个团队都搞不清楚为什么电脑不能正常运作了。经过大家的深度挖掘,发现原来是一只飞蛾意外飞入了一台电脑内部而引起的故障(如图所示)。这个团队把错误解除了,并在日记本中记录下了这一事件。也因此,人们逐渐开始用“Bug”(原意为“虫子”)来称呼计算机中的隐错。现在在华盛顿的美国国家历史博物馆中还可以看到这个遗稿。Bug的管理与一些常见的名词典型错误历史(GNUClasspathproject数据)。由用户提交的错误是“未确认”(unconfirmed)的,一旦该错误由开发人员重现,即为“已确认”(confirmed)错误。此后已确认的错误会“解决”(fixed)。其他类别的错误(无法重现、不予解决等)通常并不多见。处理进度处理方式Severity:Bug造成的严重...
查看全文
程序设计方法学
程序设计方法学发展历史产生背景1950年代—1960年代初,手工艺式的程序设计方法,高德纳把程序称为艺术品。1960年代末—1970年代初,出现软件危机:一方面需要大量的软件系统,如操作系统、数据库管理系统;另一方面,软件研制周期长,可靠性差,维护困难。编程的重点:希望编写出的程序结构清晰、易阅读、易修改、易验证,即得到好结构的程序。1968年,北大西洋公约组织(NATO)在西德召开了第一次软件工程会议,分析了危机的局面,研究了问题的根源,第一次提出了用工程学的办法解决软件研制和生产的问题,本次会议可以算做是软件发展史上的一个重要的里程碑。1969年,国际信息处理协会(IFIP)成立了“程序设计方法学工作组”,专门研究程序设计方法学,程序设计从手工艺式向工程化的方法迈进。结构化程序设计的研究1968年,结构化程序设计方法的研究。Dijkstra提出了“GOTO是有害的”,希望通过程序的静态...
查看全文
程序法相关标签
法定程序
程序法学