JACKSON程序规格说明到过程蓝图的映射

本文在ＪＡＣＫＳＯＮ程序规格说明和过程蓝图的形式化定义基础上，给出了从ＪＡＣＫＳＯＮ程序规格说明出发，导出过程蓝图的转换映射方法。使用过程蓝图取代结构文本作为ＪＡＣＫＳＯＮ程序规格说明和最终目标源代码的中间表示，改进了传统ＪＡＣＫＳＯＮ结构化程序设计方法。     

JPEG标准下图像压缩算法探讨

图像是互联网中传输信息的重要媒介。一幅没经过任何压缩处理的原始图像会给传输和存储带采很大困难。JPEG图像格式是目前最流行的图像格式，它的一个显著特点是压缩比相当高。在本文笔者对JPEG标准下图像压缩的DCT基准算法和DPCM基准算法作了讨论和分析，为广大图像工作者提供很好的参考。     

北京信息科技大学软件工程精品课程建设探究

北京信息科技大学软件工程课程组教师积极开展CDIO教学模式的实施工作,注重基本概念原理的教学并加强主动学习、协作学习和探究式学习,践行"做中学"和"项目任务驱动"教学强化理论与实践的结合和能力素质培养。通过积极进行教学改革,不断改进教学方法,更新教学内容,改善教学条件,加强"双师型"师资队伍建设。采用现代教学手段积极开展计算机辅助教学和电化教学,激励学生的主动学习热情;开发课程教学网站和CAI课件,创建学生主动学习支持环境;开设专题讲座等第二课堂;建立学生企业生产实习基地等,提高课程教学水平,逐步将软件工程课程建设成为具有工程教育改革示范作用的CDIO课程。     

基于过程蓝图的模型重构操作的进一步研究

在过程蓝图已有工作的基础上,本文提出了一些新的分析函数、基本树变换操作、不变量和重构操作,丰富了基于过程蓝图的模型重构理论,进一步体现了过程蓝图的特有的树形结构的优势。     

一种基于平均测距的重构定位方法

软件会随着时间变得越来越难以理解，越来越难以维护。因而，程序员必须在软件失去控制前重新构造它。重构是在保持程序外部可观察行为不变情况下，对软件的内部结构进行重新改造和组织的技术，是获得软件质量的一项关键技术。然而，重构在实际中并没有得到预期的应用，最主要的障碍是要耗费太多的时间和精力去手找需要重构的位置以及选择适当的重构方法。为了克服这种障碍，本文提出一种基于平均测距的重构定位方法，给出类成员与类之间的平均距离及平均距离差公式及其在实际系统中应用的方法。文中阐述了距离理论，并通过一个简单的实例展示了谊理论在代码重构中的应用。     

VB过程蓝图

ＶＢ过程蓝图是一种面向Ｖｉｓｕａｌ Ｂａｓｉｃ语言的程序处理逻辑图表化表示法。这种工程化表示法支持逻辑和实现两个层次的程序抽象表示,是一种简单实用、容易理解、结构良好的程序设计工具。文中给出ＶＢ过程蓝图的形式化模型,抽象逻辑结构图的图形表示方法,以及程序设计的基本过程。     

过程蓝图程序表示模型与视图导出方法

针对传统程序技术长期存在的表示分离、开发低效、质量欠佳、维护困难等问题,提出一种跨越分析、设计和构造阶段的多阶段程序过程表示模型。采用概念、逻辑和实现3层抽象视图、控制流和数据流二级映射的架构及视图导出方法,通过建立映射约束规则和对应关系,实现视图间的联系与统一,保证导出制品的一致性和有效性,使增量迭代、逐步求精的模型驱动设计过程规范化,有效提高程序生产率与可维护性。     

一种C++过程的可视化设计方法

文章提出一种支持C＋＋语言的可视化过程设计方法。这种设计方法由图形化的过程表示方法－C＋＋过程蓝图以及基于C＋＋过程蓝图的设计过程两部分内容组成。C＋＋过程蓝图支持逻辑和实现两个层次的程序抽象表示,是一种简单实用、容易理解、结构良好的可视化过程设计工具。文中给出C＋＋过程蓝图的形式化模型,抽象逻辑结构图的图形表示方法,以及C＋＋过程蓝图设计的基本过程。     

最优化问题算法模式的研究

论文在对最优化问题的结构和实例进行严格描述的基础上,提出一种沿算法框架、算法模式再到具体算法的路线来解决最优化算法设计问题的方法。文中对算法模式概念进行了重新定义,给出求解最优化问题的一个算法框架,以及从该算法框架导出算法模式、算法及其实现程序的实例,同时对算法模式的使用步骤,算法框架、算法模式与算法三者之间的关系,算法模式的编程实现技术进行了论述。