词条 程序法

程序法

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

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

  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是有害的”,希望通过程序的静态...
查看全文
程序法相关标签
法定程序
程序法学
家族谱大览
1.法氏家乘
原书: [出版地不详] : 锦晖堂, 清年间[19--?]. -2册 : 世系表 谨存卷3, 4 版心题 : 法氏宗谱 第一世祖 : 法若正(明) 散居地 : 江苏省武进县等地
浏览:100
1.法氏宗谱
原书: [出版地不详] : 锦晖堂, 民国年间[19--?]. -[12]双叶 谨存余庆录一册 散居地 : 江苏省武进县等地
浏览:100
5.麻城程氏宗谱, 5, 卷3: 大房九渊 之贤 11世为法公起, 1917
原书: [出版地不详] : 继箴堂藏板, 民国6[1917]年续修. 22册 : 插图, 世系表. 收藏所 : 太原市寻源姓氏文化研究中心. 修谱人员 : 程金殿,字瑶阶 ; 程玉堂,字少衢 ; 程金朗,字白瑜 ; 程金测,字静斋 ; 程玉鉴,字斌卿. 受姓祖 : 伯符. 仕周. 封广平程国伯,因以国为姓. 始祖(1世) : 程承祀,字应宗. 始居麻城龟头河. 承祀公下房祖(5世) : 程鸾 ; 程伦 ; 程金 ; 程银(徙居独石区,未载) ; 程谷 ; 程珪 ; 程凤 ; 程袭(徙居独石区,未载). 六大房祖(6世) : 程九渊(谷公之子,大房) ; 程九成,凤公之子(二房) ; 程九仪(鸾公之子,三房) ; 程九畴(珪公之子,四房) ; 程九山(金公之子,五房,迁襄阳) ; 程九舜(伦公之子,六房). 顺序按入祠告禀击磬凭祖宗拈得. 九渊公下支祖(10世) : 程之贤 ; 程之用 ; 程之伟 ; 程之瑞 ; 程之杰. 子孙析置下易家河,南冲庙,阎家河等地. 九成公下支祖(10世) : 程之机 ; 程之荣,字连生 ; 程之福 ; 程之荣 ; 程好德 ; 程好贤…[等]. 九仪公下支祖(10世) : 程之秀,字尔之 ; 程士锦,字秉渊 ; 程之辉 ; 程之胜,字尔正 ; 程如鼎,字尔定…[等]. 九畴公下支祖(10世) : 程之炳 ; 程之亮,字君明 ; 程之燿,字君荣 ; 程之炜 ; 程之彦,字君圣. 九山公下支祖(10世) : 程之焕 ; 程之遗 ; 程蓬祥,字尔但 ; 程蓬恩 ; 程仕吉. 九舜公下支祖(10世) : 程均恒 ; 程之胜 ; 程之祥 ; 程之鼎 ; 程之朋 ; 程之刚 ; 程之见. 子孙析置古儿墩等地. 排行(17世起) : 金玉兴隆瑞 荣华家国光 立训传忠后 开宗景运昌. 散居地 : 湖北省麻城县等地. 书名据书衣题, 及卷端题编目. 书名页题及版心题: 程氏宗谱
浏览:100
1.漎溪法华李氏族谱
原书: [出版地不详] : 秩伦堂, 民国7[1918]. 5册 : 插图, 世系表. 上海始迁祖 : (明) 李少塘,讳大光. 上海法华镇始迁祖 : (清) 李韬文. 散居地 : 江苏省上海县法华镇. 兰溪
浏览:100
茗川胡氏宗譜, 25, 25世法錢公起世傳, 1982
原书: [出版地不详 : 出版者不详], 1982年. 28册 : 插图, 世系表, 人像. 收藏者 : 太原市寻源姓氏文化研究中心. 鼻祖 : 胡公满. 茗川始祖 : (元明之际) 胡希睦,字敬直,号飬素,行仁四三. 胡公满之32世孙. 生六子 : 胡璇 ; 胡琏 ; 胡琼 ; 胡玺 ; 胡瑶 ; 胡璋. 本谱为玺公后裔之谱. 分派祖(6世) : 胡志,字行之,行新二. 生五子 : 胡睽 ; 胡昌二 ; 胡晖 ; 胡昌四 ; 胡晤. 马介山南山支祖(7世) : 胡睽,行昌一. 章岙黄村祖(11世) : 胡存梁,号省斋,行恭三一. 底岙西岸祖(12世) : 胡汉寅,号乔西,行从廿七. 杨火煨祖(12世) : 胡汉宥,字朝宥,号恕斋,行从三十. 大豹溪坑祖(12世) : 胡汉察,号月川,行从三四. 排行 : 仁义礼智信 新昌亨贞谦 恭从明聪睿 肃又哲谋圣 贤良昭裕后 惠万古清且长 存汉公启国 文德有光崇 儒一尊世法 明忠孝传家 宝宽余万载昌. 名派(9-29世)似为 : 叔大存汉公 启国文德有 光崇儒一尊 世法明 忠孝传. 散居地 : 浙江省永嘉县等地. 书名据版心题编目. 卷端题 : 永嘉茗岙胡氏宗谱 谱序题 : 胡氏重修宗谱
浏览:100
里寶塘延陵吳氏宗譜, 1, 圖像 名目 譜序 碑記 家訓 派行 世系1世泰伯公起 世傳11世法字行森土公起, 2004
原书: [出版地不详 : 出版者不详], 2004年重修. 1册 : 插图, 世系表, 肖像. 受姓始祖 : 吴泰伯 ; 吴仲雍. 义乌宗祖 : 吴相,字世翊. 泰伯80世孙. 生一子 : 吴圣造(提为一世). 祥贝始祖(14世) : 吴皥,行号胜二. 生一子 : 吴裕. 里宝塘派祖(21世) : 吴锡益,行元十八. 仁荣公之子. 迁东阳里宝塘. 锡益生三子 : 吴禄,行亨十九 ; 吴漆 ; 吴杉,行亨百三十九. 行辈 : 元享利贞镐树标 焕坦钰法 柱炬墀钟 涵模烈埴 锦泽桐炵 城铭润榜 炼垕钧洪. 名辈 : 缵尔祖德 嗣汝宗功 敬承善继 福广声鸿 惟期法守 永庆昌隆. 散居地 : 浙江省东阳县等地. 书名据书衣题, 书脊题, 及版心题编目.
浏览:100