UML2．0顺序图的XYZ／E时序逻辑语义研究

UML2．0顺序图适合于描述软件体系结构的各个组件之间和复合组件内部各个子组件之间的动态交互行为，但由于UML2．0顺序图的语义不够精确，使得它的描述结果不利于进一步的分析和验证。基于此，本文在定义UML2．0顺序图的语法和语法约束的基础上，给出了UML2．0顺序图的XYZ／E时序逻辑语义，为使用UML2．0顺序图与XYZ／E相结合的方式来描述软件体系结构的动态交互行为奠定了基础。     

网络协议形式化模型的分析与应用

网络协议的形式化模型是协议分析和设计的核心技术之一。论文在简要分析当前的几种常用网络协议形式化模型之后,指出时序逻辑作为网络协议形式化模型的独特优越性,然后给出用一种线性时序逻辑MPTL描述IGMP协议的具体实例。     

CDIO模式在高职软件测试技术课程教学中的应用

CDIO模式是一种先进的工程教育理念和人才培养模式,本文针对软件测试技术在传统的教学过程中却存在的一些问题,结合我院实际情况,从教学目标和内容、教学组织、教学手段、教学考核等几个方面,探讨了CDIO模式在软件测试技术课程教学中的应用。     

一种新型的软件体系结构描述方法研究

UML2．0与XYZ／ADL在软件体系结构描述方面具有很强的互补性，如果将两者结合起来描述软件体系结构．不仅便于开发人员之间的理解和交流，也可以对体系结构进行下一步的分析和验证。文章分析了UML2．0跟UML1.X相比在软件体系结构描述方面的改进之处．根据UML2．0与XYZ／ADL在软件体系结构描述中的对应关系，提出一种通过定义UML2．0的XYZ／E语义．将UML2.0与XYZ／ADL结合起来描述软件体系结构的一种新的途径。