教学课程资源库 更多>>

关键词： 驾驶舱显示系统   需求工程   -致性和完备性检测   四变量模型   表格符号   形式化方法   T-VEC工具  

摘要： 在实际的工程项目中,需求错误普遍发生,对系统的安全有着很大的影响。对复杂的系统需求进行建模分析与检测,找出其中的错误仍然面临着很大的挑战。驾驶舱显示系统负责显示飞机的状态信息,并直接为飞行员提供飞行导引。保证驾驶舱显示系统需求的完整、一致和准确是飞机正常和安全运行的重要基础和保障。对此,提出了一种针对复杂系统需求的一致性和完备性描述方法,帮助检测需求中存在的错误。其中,根据四变量模型和表格符号表示以驾驶舱显示系统为例建立需求模型;在建立的需求模型的基础上,为需求模型提供精确的语义;最后,使用T-VEC工具对需求模型进行检测。通过使用该方法对驾驶舱显示系统需求文档进行一致性和完备性检测,找出了需求模型中的潜在错误。

关键词： 软件工程   职业素养   人才培养模式   创新实验室  

摘要： 本文针对当前国内软件人才缺口巨大,但软件产业对软件工程毕业生的职业素养需求与学生现状的矛盾问题,从软件工程专业毕业生素养的分类和要求标准两个维度构建了软件工程毕业生应具有的职业素养体系。在此基础上,分析了现有的软件工程专业培养模式在职业素养培养方面的现状与不足。针对前述不足,提出了改进方案并在软件工程创新实验室的学生创新活动中进行了实践。

关键词： 自适应软件   时间特性   形式化方法   时间自动机   模型检验  

摘要： 现有自适应软件建模与验证方法较少考虑时间约束,然而,在时间攸关应用领域,自适应软件能否正确运行,不仅要考虑自适应逻辑的正确性,还要考虑自适应软件动态过程的时间特性。为此,首先显式定义了自适应软件的时间特性(监控周期、延迟触发时间、自适应过程截止时间、自适应调节时间和稳定时间等);然后,构造了一种基于时间自动机网络(TAN)的自适应软件动态过程时间特性建模模板;最后,将自适应软件时间特性描述为定时计算树逻辑(TCTL)的形式,并对时间特性进行了形式化分析和验证。结合具体案例验证了该自适应软件时间特性建模和验证方法,结果表明该方法能够显式刻画自适应软件时间特性,降低其形式化建模的难度。

关键词： 软件工程   UML建模技术   软件开发  

摘要： UML是一种实用性较高的软件工程数据库开发的标准。基于此,本文分析了UML技术的组成,并使用了案例进行研究,提出了人力招聘系统的设计方法。通过使用UML这种定义良好、容易表达且功能强大的建模语言,来为技术人员实现大型而又复杂的软件工程系统中的各种成分描述,构建系统的模型及建立各种所需的文档,提供一些参考。

关键词： 课堂教学情境   结构化设计   普遍联系   学科素养   世界   落地   政治课程标准   社会实践活动  

摘要： 《普通高中思想政治课程标准（2017年版）》强调，“要通过问题情境的创设和社会实践活动的参与，促进学生转变学习方式，在合作学习和探究学习的过程中，培养创新精神，提高实践能力”。教师对情境化教学已达成共识，但对情境高度结构化的理解及实现存在疑问，本文试结合课堂实例对这一问题进行探讨。2018年5月，来自浙江大学附中的戴滟滟老师以“世界是普遍联系的”为题，为四川师范大学附中的师生执教了一节观摩课，其精心的教学设计、精彩的课堂展示、精巧的教学情境得到全体师生的高度评价。

关键词： 油库管理   APP   软件设计   形式化方法  

摘要： 随着移动信息技术的蓬勃发展,在移动端软件上进行工作的需求越来越大,许多软件开发了相应的移动设备版本。文章提出设计智能油库管理系统的APP版本,开发基于手机等移动终端设备的智能油库管理系统,根据简明高效等原则,设计软件的功能模块,让用户能够更加方便地进行相关操作,以符合当前社会发展的需求。

关键词： 油库管理   形式化方法   Z语言   形式化验证  

摘要： 为提高油库的管理效率,油库管理系统的智能化水平越来越高,同时软件规模和复杂度不断增大,系统中的缺陷数量不断增多并且更加具有隐蔽性,这些缺陷给系统的正常运行和油库的安全带来巨大的挑战。提出把形式化方法应用到智能油库管理系统的开发过程,对智能油库管理系统进行形式化分析和验证,以期减少错误的发生,提高系统开发质量。

关键词： 软件工程   深度学习   实践教学   模式  

摘要： 二十一世纪是电子信息时代,机遇与挑战并存。这是一个充满实践创新和人才的时代。在这样一个世纪里,世界在不断变化, 各行各业都充满了竞争。学习无疑已成为我们改变命运、适应社会发展的最重要途径。在二十一世纪,真正强大的不仅仅是知识丰富的人, 还有学习能力更高的人。

关键词： 在线考试   智能组卷   UML建模   JavaEE技术   MVC模式  

摘要： 在线考试系统中比较突出的问题是如何高质量且高效地组卷。文中通过收集、分析和整理目前常用的在线考试系统的功能以及优缺点,提出了一个带有智能组卷功能的在线考试系统。该系统采用基于UML的面向对象分析与设计方法对在线考试系统的需求、逻辑结构、业务流程及整个系统的体系结构进行了分析与设计,形成了系统的用例模型、逻辑模型、动态模型和部署模型;并基于MVC模式,使用Java EE技术,对系统进行了实现。

关键词： 做中学   教学模式   形成性评价   构建之法  

摘要： 针对目前部分高校软件工程教学模式的现状与不足,基于"做中学"的教学理念,探讨了"学校教师+工业界导师+工业界助教"的教学模式,并结合开放模式的实践教学,阐述其实践过程,最后分析学生调查数据,对软件工程课程教学模式的改革进行了有益的探索和研究。