设为首页
收藏本站
切换到窄版
首页
BBS
地方标准
参考文献
行业资料
打包下载
文章
登录
注册
医药卫生
经济
文教
农业
环境与安全
交通
工业技术
期刊杂志
电子书
商务办公
建工
电力
新能源
标准解读
工程造价
标准动态
新资汇
»
首页
›
参考资料
›
参考文献
›
普通高校软件工程专业形式化理论与算法课程体系的建设与 ...
返回列表
发布新帖
[文化科学教育体育]
普通高校软件工程专业形式化理论与算法课程体系的建设与实践
19
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 44050.2-2024 液压传动 油液噪声特性测定 第2部分:管道中油液声速的测量
2
GBT 43982.1-2024 地下供水管网非开挖修复用塑料管道系统 第1部分:总则
3
DB43_T 2915-2024 聚乙烯(PE)燃气管道定期检验规则
4
T_ZAWS 003-2024 城镇燃气管道完整性管理规范
5
T_ZAWS 001-2024 加氢站用高压氢气管道安装及检测规范
6
T_CISA 370.4-2024 钢铁企业厂区内设备、管道及附属结构涂料防腐蚀工程技术规范 第4部
7
T_CSCP T_CSCP0004-2024 轨道交通动态杂散电流对埋地钢质管道腐蚀干扰评价方法
8
DB37_T 4802.1-2024 特种设备智能化技术建设指南 第1部分:油气长输管道
能源电力
光伏发电
风力发电
电动储能
电力行业
电网
化工
压力容器
管道
特种设备
化学分析
试剂
建筑工程
钢结构
设计规范
施工
检测
地质勘探
机械
无损检测
阀门
起重机
数控
焊接
电子信息
电子
电路
半导体
集成电路
信息技术
医药
常见病
中西医结合
高血压
养生
传染病
科学
天文地理
农业
气象
艺术
教育
手机访问
微信扫一扫
联系QQ客服
QQ扫一扫
2022-2025
新资汇 - 参考资料免费下载网站
最近更新
浙ICP备2024084428号
关灯
返回顶部
快速回复
返回顶部
返回列表