检索结果-南通市图书馆

法制与社会 2013年第1期 280-281页

作者：姚行沈阳师范大学法学院

在社会发展的过程中,现代反垄断法程序依赖性在不断增强,为了深入了解,本文主要针对现代反垄断法的程序依赖性探析进行了简单分析。

关键词：现代反垄断法程序依赖性探析

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

递归子程序的依赖性分析及其应用

计算机学报 2001年第11期24卷 1178-1184页

作者：徐宝文张挺陈振强东南大学计算机科学与工程系南京210096 武汉大学软件工程国家重点实验室武汉430072

程序依赖性是一种重要的程序分析、理解与维护方法 ,广泛应用于软件工程及软件逆向工程的各个方面 ,但递归子程序间的依赖分析一直是依赖性分析中的难点 .为此 ,该文提出了一种新的递归子程序间的依赖性分析方法 ,它首先分析子程序内部... 详细信息

程序依赖性是一种重要的程序分析、理解与维护方法 ,广泛应用于软件工程及软件逆向工程的各个方面 ,但递归子程序间的依赖分析一直是依赖性分析中的难点 .为此 ,该文提出了一种新的递归子程序间的依赖性分析方法 ,它首先分析子程序内部的各种依赖关系 ;然后 ,结合子程序调用图分析子程序参数间的依赖关系 ;最后 ,通过模拟递归子程序的执行过程来分析它们之间的依赖关系 .利用该文提供的方法可得到比较精确的递归子程序间的依赖关系 .

关键词：程序分析递归子程序程序依赖性软件工程软件逆向工程

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

Linux中断系统的程序依赖性度量

湖州师范学院学报 2005年第2期27卷 95-98页

作者：张凯陈利华中师范大学计算机科学系湖北武汉430079

Linux开源的特性为修改该操作系统提供了途径.但是目前很少有相应的理论对该系统的修改结果进行量化.程序依赖性分析是软件分析的基本理论,可以对程序的多项依赖性指标进行度量.基于此根据依赖性理论对Linux(0.11版本)的中断模块进行分... 详细信息

Linux开源的特性为修改该操作系统提供了途径.但是目前很少有相应的理论对该系统的修改结果进行量化.程序依赖性分析是软件分析的基本理论,可以对程序的多项依赖性指标进行度量.基于此根据依赖性理论对Linux(0.11版本)的中断模块进行分析,并根据分析结果提出对系统程序的改进方向,为理解和度量复杂系统程序提供了一种方法.

关键词：程序依赖性单元级依赖性中断系统

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

一种基于前向计算的动态程序切片方法

计算机科学 2014年第1期41卷 250-253,278页

作者：王兴亚姜淑娟鞠小林邵浩然中国矿业大学计算机科学与技术学院徐州221116 南通大学计算机科学与技术学院南通226019

动态程序切片技术是一种重要的程序分析技术,在软件分析、测试与调试过程中有着广泛的应用。给出一种基于前向计算的动态程序切片方法,该方法首先在对当前执行语句进行定义使用分析的基础上计算该语句定义变量的影响集,其次计算该语句... 详细信息

动态程序切片技术是一种重要的程序分析技术,在软件分析、测试与调试过程中有着广泛的应用。给出一种基于前向计算的动态程序切片方法,该方法首先在对当前执行语句进行定义使用分析的基础上计算该语句定义变量的影响集,其次计算该语句的直接动态依赖关系,最后计算当前执行语句中变量的动态切片。根据该方法设计并实现了一个Java动态程序切片系统,基于一组基准测试程序开展了切片实验,并与已有的切片方法进行了比较。实验结果表明,该方法可以得到比较精确的动态程序切片结果。

关键词：动态切片前向计算程序依赖性三地址码

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

宏观调控法的程序规范研究

宏观调控法的程序规范研究

作者：陈永吉新疆财经大学

学位级别：硕士

改革开放三十多年,我国经济体制改革经过艰苦探索逐步从计划经济转轨到市场经济。然而,市场经济的信息不对称、垄断、外部影响等特性经常产生“市场失灵”,因此,为了维护市场机制,稳定经济平稳发展,市场规制和宏观调控为主的“政府干预... 详细信息

改革开放三十多年,我国经济体制改革经过艰苦探索逐步从计划经济转轨到市场经济。然而,市场经济的信息不对称、垄断、外部影响等特性经常产生“市场失灵”,因此,为了维护市场机制,稳定经济平稳发展,市场规制和宏观调控为主的“政府干预”成为纠正“市场失灵”的重要途径。随着市场化的不断发展,宏观调控作为政府直接参与经济的干预方式,其法治化越来越受到国家的重视,宏观调控法已经成为我国经济法体系的重要组成部分。然而我国宏观调控法制建设的不完善,直接导致了我国宏观调控法治化的滞后。因此,在我国大力提倡依法治国的形势下,宏观调控法的构建和完善显得尤为迫切。本文由引言、正文、结语构成,其中正文分为四章。第一章先对宏观调控和宏观调控法的产生进行阐述,通过对宏观调控程序的界定以及流行的两大程序理论进行对比,最后得出程序本位主义理论更符合我国宏观调控立法研究和实践的结论;第二章以程序本位主义理论为指导,针对宏观调控法的实体困境、程序对规范宏观调控运行的价值以及宏观调控法的程序化倾向等三方面的分析,指出宏观调控法具有实体依附于程序的特性;第三章指出,在我国宏观调控法的学术研究和法律法规实践中,普遍存在对程序规范忽视的现象,并通过对我国2010-2011年房地产相关宏观调控措施的分析,进一步证实这种对程序规范的忽视严重影响了我国宏观调控的效果,进而指出我们应该纠正这一偏差,以程序规范为视角对宏观调控法进行研究;第四章为我国宏观调控法程序规范的构建给出了一个可供考量的基本框架。总之,文章以程序理论为基础,通过对宏观调控法的程序依赖性进行分析,再结合目前我国宏观调控立法理论研究和实践中对程序问题的忽视导致宏观调控立法建设的踯躅不前的现状,提出以程序规范为视角,建立和完善我国宏观调控法律制度的必要性和可能性,为我国宏观调控法治化建设提供了一些有益的思路。

关键词：宏观调控宏观调控权程序依赖性