任务驱动为先导“做教学”一体化的面向对象程序设计教学探究

分析当前高职计算机应用专业面向对象程序设计相关课程教学中主要存在过多强调语法教学,以及忽略面向对象程序设计思想培养等问题,提出以任务驱动为先导＂做教学＂一体化的面向对象程序设计教学方法,以提升高职计算机应用专业学生程序设计能力。     

基于Windows系统级服务的客户端软件互控技术实现方法

在C/S结构应用系统中,有效安全地运行客户端的应用程序是实现C/S结构应用系统的基础,通过分析Windows系统的特点,引入系统级服务进程实现对客户端应用的监控确保了客户端程序被强行结束或绕开运行,再利用已经运行的客户端应用程序反过来实现对系统级服务进程进行监控,从而确保了客户端应用程序的有效运行和工作.     

基于范畴计算的多目标语言程序生成架构

提出了一种基于范畴论的多目标语言程序生成架构,程序元素的元类型在程序元模型范畴中定义,常用的软件开发模式由元模型实例组成并带有可配置的参数,模式到可执行语言的表达式、函数、类型等映射由范畴函子统一定义。在实际应用开发时,通过函子计算将抽象模式精化到不同的目标语言程序范畴。各种语言的精化计算方式具有统一的契约规范,从而支持高度的灵活性和重用度水平。     

混合监测技术在并行与分布式性能监测中的应用

主要介绍了混合监测技术在并行与分布式系统性能分析评价中的应用。分析比较了常用的几种监测技术,给出了各自的优缺点,介绍了混合监测中的事件的定义,自动装备的过程。事件的采集和分析这向个关键步骤,提出装备的层交化。最后提出了混合监测中会遇到一些问题并给出了相应的解决方法。     

软件体系结构中五种常见风格的剖析

软件体系结构是软件工程中一个新兴的研究领域。该文首先分析比较了现有软件体系结构理论中的几种风格,接着,说明这些不同风格如何在一个设计中使用,最后,指出了一些可能的研究方向。     

An experiment on the role of graphical elements in architecture visualization

The evolution and maintenance of large-scale software systems requires first an understanding of its architecture before delving into lower-level details. Tools facilitating the architecture comprehension tasks by visualization provide different sets of configurable, graphical elements to present information to their users. We conducted a controlled experiment that exemplifies the critical role of such graphical elements when aiming at understanding the architecture. In our setting, a different configuration of graphical elements had significant influence on program comprehension tasks. In particular, a 63% gain in effectiveness in architectural analysis tasks was achieved simply by changing the configuration of the graphical elements of the same tool. Based on the results, we claim that significant effort should be spent on the configuration of architecture visualization tools and that configurability should be a requirement for such tools.

组态软件实时数据库系统研究

实时数据库是组态软件的核心,实时数据库能够及时准确地获取现场数据是整个工业控制系统正常工作的基本前提。本文主要介绍监控组态软件的实时数据库系统的设计与实现。     

一个实用的Ada源级调试器的设计和实现

Ada是美国国家军用标准编程语言。近年来,我国也开展了对Ada及其开发环境的研究工作。本文首先介绍高级语言开发环境中源级符号调试器的基本原理,然后给出了一个实用性的Ada源级调试器的设计和实现关键技术。     

“任务驱动”方式与“小组教学”方法相结合的程序设计实验教学

本文根据程序设计课程的特点以及现有的实验教学方法,提出了"任务驱动"方式与"小组教学"方法相结合的实验教学方法,并深入实践和应用。实践教学表明,这种方法能够很好地培养学生的自学能力、合作与创新精神,极大地提高了学生的动手能力,较好的达到了程序设计课程实验教学目的,值得尝试与推广。     

一种基于程序正确性证明理论的程序开发方法

程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法,它使得程序的开发和证明同时进行,程序开发完成的同时其正确性亦得以保 证,以两个问题的程序开发为例说明了程序的形式推导方法的使用。