您的位置: 专家智库 > >

燕菊维

作品数:6 被引量:9H指数:2
供职机构:解放军信息工程大学更多>>
发文基金:国家高技术研究发展计划河南省科技创新杰出青年基金更多>>
相关领域:自动化与计算机技术文化科学更多>>

文献类型

  • 6篇中文期刊文章

领域

  • 4篇自动化与计算...
  • 2篇文化科学

主题

  • 4篇教学
  • 2篇软件工程
  • 1篇形式化
  • 1篇形式化验证
  • 1篇学法
  • 1篇软件工程教学
  • 1篇软件工程课程
  • 1篇统一建模
  • 1篇统一建模语言
  • 1篇情景
  • 1篇情景教学
  • 1篇自动化
  • 1篇教学资源
  • 1篇课程
  • 1篇课程教学
  • 1篇课程教学模式
  • 1篇课堂
  • 1篇课堂教学
  • 1篇建模语言
  • 1篇教学法

机构

  • 6篇解放军信息工...
  • 2篇中国人民解放...
  • 1篇中国电信
  • 1篇开封教育学院

作者

  • 6篇燕菊维
  • 3篇周会娟
  • 1篇于磊
  • 1篇郭渊博
  • 1篇侯雪梅
  • 1篇郝耀辉
  • 1篇罗婷
  • 1篇李志博
  • 1篇刘小红
  • 1篇吕哲

传媒

  • 2篇计算机工程
  • 2篇微计算机信息
  • 1篇课程教育研究...
  • 1篇大学教育

年份

  • 1篇2020
  • 1篇2016
  • 4篇2012
6 条 记 录,以下是 1-6
排序方式:
高校教学管理系统的UML模型被引量:3
2012年
本文介绍了UML的基本概念、建模过程、以及UML建模的优点,描述了高校教学管理系统的特点以及功能,用一个实例来说明UML在高校教学管理系统开发中的应用,建立了高校教学管理系统中考试成绩管理部分的用例图,类图,顺序图,活动图和部署图。利用UML建模,使得用户和开发人员的沟通更加顺畅,提高了软件开发的效率。
燕菊维燕鲲鹏周会娟
关键词:高校教学管理统一建模语言
软件工程教学中的情景Seminar教学法被引量:3
2016年
为培养软件工程实用人才,提高软件工程课程授课效果,可以将传统理论讲授方式和情景Seminar教学方式相结合的形式用于软件工程课程教学中。其中,情景Seminar教学方式是结合软件工程课程特点提出的,包括分组研讨、主题报告、答辩评审三个内容。情景Seminar教学方法的应用,能有效地提高学生的阅读能力、表达能力,培养学生的独立思考、探索问题和解决问题的能力,增强学生的团队协作意识。
李志博于磊侯雪梅燕菊维
关键词:软件工程SEMINAR教学法情景教学
公司办公自动化系统的分析与设计
2012年
本文主要分析与设计XX公司办公自动化系统。首先在确定系统开发任务的基础上,严格按照公司的业务流程使用UML对系统进行了需求分析,接着根据需求对系统进行设计,主要包括基于B/S模式的物理体系结构设计和逻辑设计,其中逻辑设计部分包括系统功能设计,系统的开发架构设计和系统的类结构设计。实践证明,公司办公自动化系统在实际使用中,能够使全国各地的项目组人员方便快捷的共享信息,对数据的采集和信息处理变得更加迅速。它改变了过去复杂、低效的手工办公方式,能够满足高效率处理日常工作的需要,具有较高的实践价值和现实意义。
周会娟吕哲刘小红燕菊维
关键词:办公自动化系统B/S
以项目驱动的《软件工程》课程教学模式改革与实践被引量:1
2020年
软件工程课程是软件工程专业和计算机科学与技术专业的重要专业课。从目前的教学实践来看,还存在实践教学重视不够等问题。本文在研究中从项目管理的视角[]出发,提出了课程教学改革的思路与方法,希望为提高软件工程课程教学效果提供启迪借鉴。
燕菊维
关键词:软件工程课程教学模式
混合式学习支撑系统的设计与实现
2012年
针对目前高等学校教育的特点,设计并开发一个混合式学习支撑系统,给出其总体架构、概念模型及数据库的设计。该系统结合课堂教学和在线学习优势,既能支持教师教学,又能支持学生自主学习能力和创新能力的培养,可根据学生兴趣和教学资源的形态,自动选择最适合其使用该教学资源的教学策略,提高学习效率。
燕菊维周会娟燕鲲鹏
关键词:课堂教学教学结构教学设计方法教学资源
基于Hoare逻辑的密码软件形式化验证系统被引量:2
2012年
在Hoare逻辑理论和ACSL语法规范的基础上,设计一种针对密码软件的形式化验证系统,由程序规范、验证推理规则、可靠性策略、验证推理等模块组成。以OpenSSL中RC4算法的软件实现为例,对其功能正确性、保险性和信息流安全性进行验证,结果表明,该系统具有较高的自动化水平,可在一定程度上降低形式化验证方法的复杂度。
郝耀辉郭渊博罗婷燕菊维
关键词:HOARE逻辑形式化验证RC4算法
共1页<1>
聚类工具0