基于可计算函数的C模型互模拟性质

针对嵌入可计算函数的C模型语法中没有Summation操作符，定义了Prime Process概念，并给出进程范式化过程以及有限公理系统，研究在扩展C模型后的绝对表达能力.结果表明，在引入Localization和多元操作符后，该模型可以方便地定义出Prefix、Replication和Choice操作符.     

软件测试课程的教学改革与研究

技术型本科学校的软件工程专业在软件测试课程体系构建须从软件测试领域的理论研究与工程应用出发,本文以软件测试人才所应具备的职业化软件测试技能综合应用能力体系为背景,提出并设计构建软件测试课程的体系。在明确软件测试方向的目标,合理构建课程的教学目标,提出在教学全程引入经过教学化改造的企业真实项目和工作环境,注重学生综合应用能力体系培养,从而实现该课程体系的局部创新和整体优化。     

TPN与B方法集成的形式化技术

单一的形式化方法和技术在描述系统时总是有一定的不足，通过集成TPN与B方法可以相互取长补短。本文讨论了TPN-B技术如何将TPN与B方法的抽象机之间构建起映射关系，介绍了如何用TPN-B对系统进行一个初始的构造，并通过对滑动窗口协议进行描述来体现。     

技术应用型本科毕业设计课题讨论

本科毕业设计是本科学生四年学习的最后一个阶段,毕业课题的选择影响到对本科生四年学习成果的检查,因此本文总结了最近几年所带毕业生课题的问题和现象,通过讨论提出了一些解决的方法,既保证了学生能够对课题产生兴趣,同时也能够兼顾课题设计的难度。