教学课程资源库 更多>>

关键词： 本体   临床文档结构   结构化影像报告  

摘要： 基于本体思想并结合国际标准,通过对原发性肝癌1093份影像报告样本的分析与整理,形成了原发性肝癌影像报告术语集,并将术语集与临床文档结构标准进行映射,制定了原发性肝癌影像报告临床文档结构的规范,实现了文字报告的结构化。

关键词： 软件体系结构   模型   异构软件体系结构  

摘要： 软件体系结构设计是软件生命周期的一个重要环节。文章剖析了四种软件体系结构的系统模型,从技术层面探讨了它们的特性,随后进一步探讨了异构结构体系结构。

关键词： XML   形式化方法   可视化工具   系统属性   中间步骤   软件重用   XSLT   功能块图   自动化应用   形式化模型  

摘要： 由于PLC程序日益复杂,在PLC应用方面有越来越多的兴趣爱好者。而采用相关的形式化方法,可以让僵化的证明系统属性被核查和验证。其中,一个传统思路的方法就是在PLC编程中设立一个正式的设计方法。不过,现有的软件已被优化、改变或移植到新系统,因此,有必要找到从某一PLC程序开始的方法。因此,规范PLC程序是一个现在研究的热点。本文概述了基于形式化的PLC程序基础上从新启动的方法,转型成为一个独立的格式和可视化的结构,在这个过程中,PLC程序的确定是作为这项措施的重要中间步骤。这表明如何XML和相应的技术可用于形式化和可视化现有的PLC程序。

关键词： 形式化方法   集成电路验证  

摘要： OpenCoho是一个通过可达性分析及计算对集成电路设计进行形式化验证的软件工具。它可以验证由非线性常微分方程建模的电路系统的正确性。提出基于FPGA的验证算法硬件加速方法,探讨环形振荡器电路有效性验证,通过仿真说明该方法的可行性和意义。实验结果表明,利用该方法平均验证速度提高了约10倍。

关键词： 一致性测试   实时性   并发性   形式化方法   精化关系  

摘要： 基于时间通信顺序进程(TCSP)语言——一种用于建模、验证实时并发系统的形式化语言,进行了一种新型实时并发系统测试方法的研究,以提高测试的覆盖率和完整度。首先研究了实时并发系统的输入、输出一致性关系,然后在时间迹、时间拒绝两种框架下,分别定义了最小不满足时间迹、最小拒绝集合,分情况研究了其测试过程。在TCSP的稳定失效模型下,将输出事件加入拒绝事件集合,最后提出了基于通信顺序进程(CSP)精化关系,且辨别输入、输出事件的实时测试模型,因此测试时不仅能精确地表示系统属性及行为,而且能利用该语言的精化关系定义测试的一致性测试关系。

关键词： 软件分析   形式化方法   模型检验   源程序验证   谓词抽象  

摘要： 模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查.

关键词： 软件工程实践   敏捷开发方法   Scrum  

摘要： 软件工程的工程教育属性决定了其对实践环节要求非常高。针对传统瀑布模型在软件工程实践课程教学中存在的问题,探索使用Scrum敏捷软件开发模型指导学生进行软件项目开发的方法,并根据实际情况在选题、分组、Scrum实践和考核等方面进行改革,有效提高了学生的学习积极性、软件开发能力和软件工程素质等。

关键词： 软件工程   实践课程   教学改革   案例教学  

摘要： 软件工程实践课程是将工程化理论、方法以及技术作为指导,开发较大规模软件系统的一门课程,软件工程实践课在计算机软件领域占有绝对的中心地位,对于该课程来说其最大的特点便是实践性强,为了彻底解决软件工程实践课中不重视学生个体差异这一问题,在创新创业教育理念下推动课程教学改革,是现代计算机软件教育领域提出的一个必然要求。本文就软件工程实践课程教学改革思路、具体策略进行详细阐述。

关键词： CDIO   软件工程专业   应用   改革  

摘要： 现代软件工程专业教学存在重理论、轻实践的问题。为了合理解决这一问题,软件工程教学改革提出了CDIO教学模式,逐渐被各个院校认可。IT企业具有大量的专业人才缺口,而高校软件专业肩负着这样的任务,因此其应用与改革成为必然。

关键词： Web Service  

摘要： Engineers use TLA+ to prevent serious but subtle bugs from reaching *** MATERIALS AVAILABLE FOR DOWNLOADHtml(6KB) PDF(842KB) Digital Edition