教学课程资源库 更多>>

关键词： 联锁   形式化方法   SCADE   模型开发   安全性  

摘要： 计算机联锁系统软件是一种典型的安全相关软件,具有非常复杂的联锁控制逻辑和以失效为核心的安全需求,在联锁系统的设计开发过程中,保证系统的安全性和可靠性是关键.介绍基于SCADE工具进行联锁软件开发过程,使用模型化的方法从系统需求到最后代码验证,为软件安全认证的各个阶段提供了解决方案和实施工具,实现了开发过程的自动化和过程省略,大大提高了安全软件开发的效率和安全性.

关键词： 教学质量   TOPCARES-CDIO   保障体系  

摘要： 文章结合TOPCARES-CDIO工程教育理念引导的人才培养模式,从确立培养方案、规范教学环节、信息收集、教学质量评价及反馈等方面阐述软件工程专业教学质量保障体系的构建及实施情况。实践证明,该体系对提高教学质量、提高软件工程专业学生的专业综合能力起到了积极作用。

关键词： 软件工程   CDIO   团队协作   教学改革  

摘要： 由于学生参与大型软件项目研发的实践锻炼缺乏,导致其对软件工程课程学习动力不足,难于理解相关的专业知识。故此,本文将CDIO教学理念引入软件工程课的教学中,在教学过程中融合实践,实现课堂真正的师生互动,共同参与协作,可以全面地加强培养学生的主动学习、相互合作及自主创造的能力,进而提高人才教育的质量。

关键词： 形式化方法   B方法   GRBAC模型  

摘要： 探讨了一种安全访问控制模型GRBAC。在标准基于角色的访问控制(Role-Based Access Control,RBAC)模型的基础上引入了组(group)的概念,以简化角色层次关系并建立GRBAC模型;通过UML和形式化B方法相结合的技术来研究GRBAC模型,将GRBAC模型的UML模型转换成B抽象机,再通过模型检测工具对抽象机模型进行验证,从而保证软件设计的正确性。

关键词： 模型论证   模型交互   武器装备体系   体系结构设计  

摘要： 随着武器装备体系结构日趋复杂,论证内容不断增多,论证指标日趋庞大,传统的独立构建不同模型的方法不再适用。武器装备体系结构论证应从单一平台,或者单一论证工具发展到集成不同工具和不同模型的综合平台论证。提出了一个基于模型交互的装备体系论证思路,充分发挥模型交互方法的优势,从装备体系结构建模工作流程着手,提出了实现模型之间的信息交互以及基于模型交互对装备体系进行分析和评估的开发过程。

关键词： UML建模   分析建模   描述和构建  

摘要： 简要介绍了UML(Unified Modeling Language)标准建模语言的特点、UML的静态建模机制和动态建模机制及其使用方法,并运用UML的建模机制和方法对餐饮管理信息系统进行了分析建模。

关键词： 软件工程   卓越   培养模式  

摘要： 以江苏师范大学软件工程专业为例,论述本科卓越人才培养方案的办学模式、课程体系和实践环节,提出高校要根据办学定位和社会对软件人才的需求,通过与软件企业合作办学,充分发挥产学研在本科卓越人才培养中的协调作用。

关键词： 宏观   微观   符号   三重表征   化学方程式   教学设计  

摘要： 在＂化学反应的表示方法＂一课中,采用了＂识、明、破、练、解＂策略组织教学：认识化学方程式,明确方程式的书写规则,突破化学方程式的配平难点,练习书写常见的化学方程式,理解化学方程式的含义,从而帮助学生把握化学学科的思维特点一一＂三重表征＂思维,实现认识的科学化和规范化。

关键词： 时间自动机   取证模型   动态行为   形式化方法  

摘要： 如何确保计算机获取的证据真实可靠,成为法院上可供参考的法律依据,这是一个迫切需要解决的问题。因此,需要一种形式化描述方法使得数字取证调查具有可靠性和可信性。文中提出一种基于协议验证的TA(时间自动机)形式化描述方法,利用取证工具获得具有时间属性的行为数据,并用TA描述计算机取证的动态事件重构行为,通过UPPAAL工具进行需求分析和验证来达到取证的目的。

关键词： 城市道路提取   遥感影像   尺度空间   道路规则   面向对象分析  

摘要： 基于遥感影像的城市道路提取对于城市建设、规划和地图更新等有重要意义。针对高分辨率遥感影像城市道路网的复杂性,结合尺度空间思想提出一种面向对象的城市道路自动提取算法。在此基础上,使用Canny算子获取像元簇梯度图,并进行标记分水岭分割得到区域对象;建立城市道路与几何、光谱特征相关的道路规则,从分割结果中筛选出道路区域对象;使用形态学方法提取道路区域的骨架,并对骨架进行连接、光滑等后处理,最后输出道路网提取结果。实验结果表明,该方法用于复杂城市道路的高精度自动提取,对城市道路网更新有一定参考意义。