设为首页
收藏本站
切换到窄版
首页
BBS
地方标准
参考文献
行业资料
打包下载
文章
登录
注册
医药卫生
经济
文教
农业
环境与安全
交通
工业技术
期刊杂志
电子书
商务办公
建工
电力
新能源
标准解读
工程造价
标准动态
新资汇
»
首页
›
参考资料
›
参考文献
›
普通高校软件工程专业形式化理论与算法课程体系的建设与 ...
返回列表
发布新帖
[文化科学教育体育]
普通高校软件工程专业形式化理论与算法课程体系的建设与实践
14
0
admin
发表于 2024-12-1 14:31
|
查看全部
阅读模式
普通高校软件工程专业形式化理论与算法课程体系的建设与实践.pdf
本文根据软件工程学科的特点和发展方向,分析了目前软件工程学科课程体系建设存在的问题,针对湖南师范大学的特点提出了软件工程学科形式化理论与算法课程体系建设的内容和方法,并对该课程体系建设的实践进行了进一步的探讨。
作者:LIQiang 李强 ZHANGLixia 张丽霞 GAOChunming 高春鸣
作者单位:SchoolofMathematicsandComputerScience,HunanNormalUniversity,Changsha410081湖南师范大学数学与计算机科学学院,长沙,410081
母体文献:第19届全国计算机新科技与计算机教育学术大会论文集
会议名称:第19届全国计算机新科技与计算机教育学术大会
会议时间:2008年8月2日
会议地点:黄山
主办单位:全国高等学校计算机教育研究会,中国计算机学会
语种:chi
分类号:
关键词:软件工程专业 形式化理论 算法课程体系 教学改革 高等教育
在线出版日期:2013年5月28日
基金项目:
相似文献
相关博文
2024-12-1 14:31 上传
普通高校软件工程专业形式化理论与算法课程体系的建设与实践.pdf
文件大小:
248.55 KB
下载次数:
60
高速下载
普通高校
,
软件工程
,
专业
,
形式化
,
理论
【温馨提示】 您好!以下是下载说明,请您仔细阅读: 1、推荐使用360安全浏览器访问本站,选择您所需的PDF文档,点击页面下方“本地下载”按钮。 2、耐心等待两秒钟,系统将自动开始下载,本站文件均为高速下载。 3、下载完成后,请查看您浏览器的下载文件夹,找到对应的PDF文件。 4、使用PDF阅读器打开文档,开始阅读学习。 5、使用过程中遇到问题,请联系QQ客服。 本站提供的所有PDF文档、软件、资料等均为网友上传或网络收集,仅供学习和研究使用,不得用于任何商业用途。 本站尊重知识产权,若本站内容侵犯了您的权益,请及时通知我们,我们将尽快予以删除。
回复
举报
相关帖子
•
基于密度泛函理论的油中溶解气体吸附分析
•
基于信息间隙决策理论的储能电站鲁棒优化配置
•
基于一致性理论的多源直流配网功率自适应控制策略
•
基于突变理论的风电爬坡多步预测
•
基于排队理论的储能式快充站容量优化配置
•
基于虚拟发电厂理论的双侧调峰多目标协调优化调度
•
基于委托-代理理论的负荷率可选择电价最优合约设计
•
基于信息间隙决策理论的综合负荷聚合商储能优化配置模型
•
基于无源控制理论的准Z源超导磁储能系统
•
基于Markov链和Copula理论的风光联合输出功率时间序列模拟生成方法
•
基于IGDT理论的电动汽车负荷聚合商需求侧放电投标决策模型
•
基于前景理论的电动汽车用户日前调频决策模型
•
计及碳捕集装置及碳排放潮流理论的电力系统低碳优化学习调度
•
基于信息间隙决策理论的含光热电站及热泵的综合能源系统低碳调度优化
•
基于信息间隙决策理论的气−电耦合配网滚动调度方法
•
在食品专业研究生课程中设置《生物无机化学》的教学改革与实践
•
基于统计学习理论的食用油红外光谱分析方法研究
•
基于发明问题解决理论的食品药品生产质量管理研究
•
基于相似度理论的黄曲霉定性标准样品定值统计分析
•
基于预测微生物学理论的南美白对虾仁货架期预测模型
返回列表
发布新帖
推荐下载
1
GBT 32270-2024 压力管道规范 动力管道
2
GBT 44050.2-2024 液压传动 油液噪声特性测定 第2部分:管道中油液声速的测量
3
DB11_T 2326-2024 油气管道高后果区识别与管理规范
4
DB37_T 4802.1-2024 特种设备智能化技术建设指南 第1部分:油气长输管道
5
GBT 41666.7-2024 地下无压排水管网非开挖修复用塑料管道系统 第7部分:螺旋缠绕内衬
6
DB4109_T 060-2024 长输管道漏磁检测保供运行规范
7
YDT 841.2-2024 地下通信管道用塑料管 第2部分:实壁管
8
T_CCCTA 0052-2024 溯源非金属管道元件质量控制规范
能源电力
光伏发电
风力发电
电动储能
电力行业
电网
化工
压力容器
管道
特种设备
化学分析
试剂
建筑工程
钢结构
设计规范
施工
检测
地质勘探
机械
无损检测
阀门
起重机
数控
焊接
电子信息
电子
电路
半导体
集成电路
信息技术
医药
常见病
中西医结合
高血压
养生
传染病
科学
天文地理
农业
气象
艺术
教育
手机访问
微信扫一扫
联系QQ客服
QQ扫一扫
2022-2025
新资汇 - 参考资料免费下载网站
最近更新
浙ICP备2024084428号
关灯
返回顶部
快速回复
返回顶部
返回列表