软件工程人才系统化教育探讨

介绍了当前软件工程人才的培养现状,提出了市场需求的软件工程人才能力素质模型,阐述了软件工程专业的知识体系,并对软件工程人才的培养提出了一些建设性意见.     

一种软件体系结构可拓建模和求精设计方法

软件体系结构建模和求精是软件工程领域的重要研究方面.在一定建模方法的基础上,通过逐步求精设计,抽象的软件体系结构成为具体的软件体系结构.为了便于形式化建模和求精以及解决设计过程中的优化问题和冲突问题,基于可拓理论和可拓方法,提出了一种新的软件体系结构建模和求精方法.软件体系结构及其元素由粒度不同的基元描述,而软件体系结构的求精则由对基元的多种变换来实现;通过定义可拓变换模式和使用转换桥方法以改进软件体系结构设计,解决不兼容甚至冲突问题;最后,给出了可拓建模和求精设计的实例.从实例可以看出,使用可拓理论和方法,能较好地从语义和结构两方面描述和精化系统,有助于在形式化层面解决软件体系结构设计中的优化问题和冲突问题.     

软件工程知识体系与核心课程设置模式探讨

通过详细分析IEEE CC2001的软件工程学科教程和对比国际国内软件工程专业的课程设置方案,从软件工程专业本科生应具备的知识体系出发,提出几种可行的软件工程专业核心课程设置模式,供各院校讨论和参考.     

软件工程教学改革初论

随着软件工程技术的发展,软件工程领域的教学内容不断丰富,教学手段日新月异,教学改革已势在必行.本文主要从下列四个方面阐明软件工租教学改革的重要性:1、建立科学的软件工程专业教育的课程体系;2、加强软件工程专业的实践教学;3、选用高、新和启发性教材;4、注重培养学生的创新能力.     

功能点分析在软件工程中的应用

软件度量已成为一项基本的软件工程实践,借助作为软件度量成功实践之一的功能点分析方法构建起一套完整可行的软件度量体系,将有效地用于辅助改善软件工程的各个环节.     

基于形式化方法的道口控制系统规范建模与验证

为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证. 基于道口管理规范,在分析系统各类属性与事件流程的基础上,使用UML图方法并结合精化策略建立了系统各层的Event-B语言模型. 通过对不变式的证明义务进行证明,验证了系统设计中的安全、时间特性,检查出了需求规范分析中的缺陷,提出了增强系统稳健性的改进方案,修正了系统的设计原型. 最后,通过不变式冲突与死锁检验进一步确认了模型的正确性. 研究表明文中方法提高了形式化建模过程的准确性与层次性,且确认得出目前规范中存在列车驶入道口时不能确保道口出清的缺陷,证实了使用本文形式化流程可以验证道口控制系统的需求规范并形成可靠的设计原型,从而可提高铁路道口的安全性.      

美国罗彻斯特政治科学学派的方法论评析

20世纪50年代后期在美国,在社会科学研究追求科学化、实证化、形式化的背景下,政治科学逐渐取代了传统上规范的政治研究,罗彻斯特学派是政治研究科学化潮流中出现的代表流派.受到经济学帝国主义的影响,罗彻斯特学派以理性选择方法为基础,以追求均衡为学科目标,建立了一套形式化的理论.但是,这种深受经济学影响的理论遭到了普遍质疑,原因就在于其方法论具有内在的缺陷.     

安全苛求系统的形式化开发方法

从系统工程的角度出发，基于形式化理论，对安全苛求系统的开发方法进行了研究。首先介绍了安全苛求系统的形式化方法，分析了形式化方法对安全苛求系统的作用；提出了一种安全苛求系统的形式化开发模型（FDM），给出了具体的应用实例。     

提案-验证通用推理及在铁路选线中的应用

为开发可直接利用软件工程中事实知识并能在智能铁路选线系统中重用的推理机,提出并实现了提案-验证通用推理模型．用面向对象技术表示知识,使用规则层次模型,把知识表示为事实知识、约束知识、启发知识、策略知识和目标验证知识;采用双层形式化模型,把知识可阅读和可执行形式联系起来;把问题求解知识表示为推理控制知识,用目标验证知识描述任务目标,实现推理机与控制策略分离．推理基于数据驱动方式,利用反射技术实现动态模式匹配和规则执行;用分类组织知识和按领域特征排列知识对象的冲突消解机制,使推理有序进行．提出的方法已成功应用于新建铁路的线路平面自动生成．     

适应社会需求的高校人才培养模式研究与实践

针对当前经济和高等教育的发展形势,对一般工科院校的人才培养模式进行探讨,并对华东交通大学的"软件工程专业 应用背景专业"的培养模式的教学改革进行了介绍.