登陆
注册
试看3分钟，观看完整版视频请购买课程
×
形式化方法在需求工程中的应用
有351人正在学习
上海控安
2020-04-17 15:52
1. 形式化方法与软件工程；
2. 形式化方法的特点与工程困境；
3. 形式化方法在需求工程中的应用；
4. 总结与探讨。
-
¥9.90¥19.90
1. 形式化方法与软件工程：从软件工程的过程视角看形式化方法的应运而生。
2. 形式化方法的特点与工程困境：形式化方法的成功之处在于提供了一种数学上的准确性。然而在工程应用层面的困境，又显示出了其面对实际工程环境的局限，并催生出了形式化工程方法的需求。
3. 形式化方法在需求工程中的应用：形式化方法在工程中落地应用的关键是在“领域化”和“工程化”等层面予以适当平衡和剪裁。我们以航空控制软件为例，详细展示形式化方法在这个领域需求分析过程中的具体应用。
4. 总结与探讨：形式化方法应用的要素条件和体会。
收藏
- 发布评论
2000
发布评论
-
形式化方法在需求工程中的应用（一）
课程时长 00:21:38
-
形式化方法在需求工程中的应用（二）
课程时长 00:27:18
-
形式化方法在需求工程中的应用（三）
课程时长 00:26:58
缪炜恺
缪炜恺，华东师范大学软件工程学院副教授、院长助理、嵌入式软件与智能系统系主任，主要研究领域为软件需求、软件形式化方法和软件测试等。主持多项国家自然科学基金青年基金、面上基金及重点企业合作项目，在国内外高水平期刊与会议发表学术论文20余篇。曾获得上海市科技进步特等奖、上海市高校青年教师教学竞赛一等奖。多年来聚焦嵌入式控制软件的形式化需求建模与分析验证，所研制的工具在航空航天和轨道交通领域多家重点企业应用。
