设为首页
收藏本站
切换到窄版
首页
BBS
地方标准
参考文献
行业资料
打包下载
文章
登录
注册
医药卫生
经济
文教
农业
环境与安全
交通
工业技术
期刊杂志
电子书
商务办公
建工
电力
新能源
标准解读
工程造价
标准动态
新资汇
»
首页
›
参考资料
›
参考文献
›
普通高校软件工程专业形式化理论与算法课程体系的建设与 ...
返回列表
发布新帖
[文化科学教育体育]
普通高校软件工程专业形式化理论与算法课程体系的建设与实践
6
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-map理论的曲面超声自动检测轨迹生成
•
高职院校检测专业的“无损检测”课程改革
•
国家级一流本科专业建设点—西安工程大学应用物理学无损检测特色专业建设探索
•
渗透检测理论解析与工艺技术的发展
•
浅谈暖通空调专业自控原理图的编制
•
基于D-S证据理论的母线负荷预测
•
基于突变理论的配电网规划方案综合评估
•
基于密度泛函理论的油中溶解气体吸附分析
•
基于突变理论的风电爬坡多步预测
•
基于委托-代理理论的负荷率可选择电价最优合约设计
•
基于信息间隙决策理论的综合负荷聚合商储能优化配置模型
•
基于无源控制理论的准Z源超导磁储能系统
•
基于Markov链和Copula理论的风光联合输出功率时间序列模拟生成方法
•
基于IGDT理论的电动汽车负荷聚合商需求侧放电投标决策模型
•
基于前景理论的电动汽车用户日前调频决策模型
•
计及碳捕集装置及碳排放潮流理论的电力系统低碳优化学习调度
•
基于信息间隙决策理论的气−电耦合配网滚动调度方法
•
在食品专业研究生课程中设置《生物无机化学》的教学改革与实践
•
基于统计学习理论的食用油红外光谱分析方法研究
•
基于预测微生物学理论的南美白对虾仁货架期预测模型
返回列表
发布新帖
推荐下载
1
T_CSCP T_CSCP0004-2024 轨道交通动态杂散电流对埋地钢质管道腐蚀干扰评价方法
2
T_CI 289-2024 再生水管道分布式光学监测 传感光缆铺设技术规程
3
DB32_T 4849-2024 压力管道注册登记编码规则
4
DB4109_T 060-2024 长输管道漏磁检测保供运行规范
5
DB3502_T 168-2024 排水管道非开挖修复技术指南
6
T_CCCTA 0052-2024 溯源非金属管道元件质量控制规范
7
GBT 32270-2024 压力管道规范 动力管道
8
T_CSTM 01124-2024 油气管道工程用工厂预制袖管三通
能源电力
光伏发电
风力发电
电动储能
电力行业
电网
化工
压力容器
管道
特种设备
化学分析
试剂
建筑工程
钢结构
设计规范
施工
检测
地质勘探
机械
无损检测
阀门
起重机
数控
焊接
电子信息
电子
电路
半导体
集成电路
信息技术
医药
常见病
中西医结合
高血压
养生
传染病
科学
天文地理
农业
气象
艺术
教育
手机访问
微信扫一扫
联系QQ客服
QQ扫一扫
2022-2025
新资汇 - 参考资料免费下载网站
最近更新
浙ICP备2024084428号
关灯
返回顶部
快速回复
返回顶部
返回列表