美国的程序法学派

如果把美国当代诸多的法律理论比作百花齐放,那么程序法学的理论可称为其中茁壮的一枝。同经济分析法学、批判法学等七十年代后出现的新法学流派相比,程序法学的历史要长一些,影响更大些。这是因为自美国建国以来,其主流的法律思想在根本上说是努力证明在美国社会的自由和民主的结构中司法的作用。美国是一个以大量的诉讼而著称的社会。

程序理性反抗价值虚无主义的徒劳——就“新程序主义法学范式及其对中国法学发展之意义”和季卫东教授商榷

邓正来提出“中国法学向何处去”这一设问,企图通过批判西方现代化范式为中国法学的自主发展提供一种新方向。季卫东则站在捍卫和发展现代化范式的立场,认为“新程序主义法学范式”是对这一问题的最好回答。本文认为邓正来之所以能够提出其设问,根本原因在于作为价值虚无主义的现代性危机已经成为全球现象,而基于程序性建构理性的新程序主义法学范式正是这一现象的组成部分和表现形式之一,并不能构成对它的克服。因此,一种超越新程序主义范式的理论视野和实践诉求始终是被要求着的,它也要求我们在一种更广阔的思想版图中思考中国法学发展的现状和未来。

对比教学在程序设计方法学中的应用

程序设计方法学是计算机专业的基础课,是一门研究程序的性质以及程序设计理论和方法的学科。主要内容包括结构化程序设计方法、面向对象的程序设计方法和大型程序设计方法、程序正确性证明等。其中结构化程序设计方法和面向对象设计方法是目前程序设计方法学中使用较多的两种方法,如何使学生理解、掌握、运用这两种方法,笔者在教学的研究中采用了对比教学的方法来指导学生完成了课程的设计,通过多年的教学总结,对比教学方法能有效的提高教学质量,得到了大多数学生的肯定。

从程序设计方法学的角度比较SP方法与OOP方法

在程序设计方法学的发展中,面向对象的程序设计方法与结构化的程序设计方法既有相同之处,也有不同之点;既彼此联系,也各有其特点。本文主要是从程序设计方法学的角度对两种程序设计方法进行比较。

软件工程专业“程序设计方法学”教学探讨

程序设计方法学是软件工程专业的重要基础课。本文从课程教材的选取、多媒体课件制作、课堂教学设计几方面进行探讨,总结教学过程中的经验并结合学生调查的结果进行分析,结论可为未来的教学提供参考。

国际体育法学研究新动向专栏导读

国际体育法学最具有法学研究的类型化意义、最能体现体育特殊性的研究方向是:以国际体育仲裁院(CAS)实践为对象的国际体育仲裁研究——侧重于程序法学,以及以《世界反兴奋剂条例》(WADC)为客体的国际反兴奋剂规则体系研究——侧重于实体法学。迄今为止,CAS和WADC的发展历史分别超过了30年和20年。如果说前些年国内学界在这两个领域的研究尚处于起步阶段,那么接下来将进入快速发展阶段,无论是研究视野,还是研究内容或研究方法,都会有长足、深入的进步。

“程序设计方法学”双层次并行教学模式探讨

"程序设计方法学"的课程内容分为结构化程序设计和面向对象程序设计两大部分,两者处于不同的知识层面,前者具有严谨的数学模型和数学演绎形式,后者更多的建立在经验化的基础之上;根据课程内容的特点以及研究生阶段的学习状况,设计了一种双层次并行的教学模式,并且,在两个层次的教学过程中运用了整合思维的手段;对于扩充课程的知识容量,推动学生的自主学习具有积极的意义.

程序设计方法学中的结构化程序设计

程序设计方法学中的结构化程序设计张正瑜（山东财政学院信息系，济南，２５００１４）随着计算机技术的日新月异的发展，计算机无论在容量上，还是在速度上都大大提高，从而形成了硬件费用日趋下降而软件费用急剧上升的情况．在这种情况下，传统的程序设计方法也从单纯的...

再论刑事法学领域的科际整合——从犯罪学的学科定位角度

我国目前的刑事法学内部存在很大的体系混乱现象。本文提倡科际整合,以明确各学科在刑事法学科体系中的定位,为学术交流创造更方便、规范的环境,进而推动刑事法学的发展。

一种证明程序正确性的方法

介绍一种证明程序正确性的方法 ,并和Floyed—Hoare公理学方法作了一些比较。为了形象的描述该方法 ,建立了一个抽象模型及一个程序实例 ,然后相对于这一模型并结合程序 。

程序变换中的Cooper变换与函数反演变换之比较

本文介绍了Cooper变换与函数反演变换的不同特点，并通过一系列的示例来加深对这些特点的认识。

面向对象的程序设计方法初探

面向对象程序设计是一种实用的程序设计方法学,它采用全新的方法来求解问题,其思想被认为是80年代的结构程序设计,从更高更广的角度研究面向对象的方法,已成为90年代的热门课题,本文就面向对象的程序设计方法与传统程序设计方法做一比较,谈点看法。

坚持法律、理论、实践三结合是改革应用法学课程教学的基本方向

坚持法律、理论、实践三结合是改革应用法学课程教学的基本方向胡云飞法学专业的主干课程，基本上是两大类，实体法学和程序法学。实体法，如刑法、民法、婚姻法等；程序法，如民事诉讼法，刑事诉讼法等。从司法实践上看，实体法是规定解决如何定案的问题，而程序法则是规...

关于递归程序变换模式的设计方法

本文提出递归程序变换模式的一般设计方法,并以具体示例说明之。此外,还对递归程序变换的有关问题作了讨论。

Mathem atica在横向程序变换中的应用

本文讨论用Ｍａｔｈｅｍ ａｔｉｃａ 的两大核心工作机制即模式匹配和规则来实现横向程序变换．以两类不同的递归程序变换的抽象模式为例，本文设计了相应的Ｍａｔｈｅｍ ａｔｉｃａ 程序包将非尾递归的程序变换成为相应的尾递归形式，然后利用Ｍａｔｈｅｍ ａｔｉｃａ３．０ 提供的ＭａｔｈＬｉｎｋ 机制，在ＶＢ５．０

试论开设《程序设计提高技术》课程的必要性

一、问题的提出目前,发达国家软件产业的规模越来越大,我国的软件产业也正在逐渐形成.因而,软件设计的规范化及标准化也日益完善,对软件设计人员的要求也愈来愈高,这就促使我们对程序设计的教学工作进行改进.我院目前的计算机普及仍然是停留在传统的教学模式上,即:学生在校期间,学习一至两门程序设计语言,教学的内容大体上是以语言的语法为主,介绍一些典型实例,使学生们在模仿基础上编制出一些简单的程序.

计算机程序模块化设计中划分功能模块的技术和方法

本文在说明了计算机程序模块化设计的基本概念之后,着重从功能模块的“相对独立、功能单一”基本特征出发,在模块接口方式、信息传递、变量局部化、增强模块内聚力、实现模块结构分层化等五个方面简述了功能模块划分的技术要点,从中可以体会到:模块化设计技术不仅是程序设计方法学中的一门理论,而且它的实践性和艺术性亦有着举足轻重的作用。

程序正确性证明的一种方法

本文形式地描述了一种证明程序能够正确地进行计算的方法。为了做到这一点，这里给出了一个程序及其执行的抽象模型。然后相对于这一模型给出了程序正确性和程序正确性证明的方法。

形式化方法概貌

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设施的时代,形式化方法将与人工智能、网络空间安全、量子计算、生物计算等领域和方向交叉融合,得到更加广阔的应用.研究和建立这种交叉融合的理论和方法不仅重要,而且具有挑战性.