已阅读5页，还剩3页未读， 继续免费阅读
版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领
文档简介
第1周绪论:软件开发方法的演化与最新趋势5.软件方法学的历史,北京大学软件与微电子学院 蒋严冰 ,结构化方法,E-R图,状态图,停止/门开 Entry/开门,停止/门关 Entry/停止 Entry/关门,运行 Entry/运行(方向),报警 Do/while ture 报警,请求运动,请求停止,请求关门,请求开门,载重量 最大负重限度 ,载重量 =最大负重限度 /取消报警,规则,马走日字 象走田 小卒不回还 . ,+,规则,博弈树,形式化方法,优势 定义清晰，无二义（类、关联的形式定义） 程序正确性的证明（Hoare逻辑 ） 可推导，便于验证与优化（Petri网 进程代数）,问题 必要非充分特征 许多问题不能归结为形式化的问题 学习困难 用户很难接受 未能完全运用到大型系统的开发,To be continued,
温馨提示
- 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2025年中国OPP标签数据监测报告
- 2025年中国GPS一体机数据监测研究报告
- 2025年中国CNC高速单座模切机数据监测研究报告
- 2025年中国3.0mm束状二芯光缆数据监测报告
- 2025至2030年中国食品级特丁基对苯二酚市场分析及竞争策略研究报告
- 2025至2030年中国蓝宝石晶体市场分析及竞争策略研究报告
- 2025至2030年中国磁疗床垫市场分析及竞争策略研究报告
- 2025至2030年中国电容式料位控制器市场分析及竞争策略研究报告
- 2025至2030年中国烟雾燃气报警器市场分析及竞争策略研究报告
- 2025至2030年中国汽车顶隔音垫市场分析及竞争策略研究报告
- 学校电工聘用合同
- 2025年一年级下册语文期末教学工作总结（2篇）
- 2024年司法考试完整真题及答案
- 2025年职业教育专业岗位技能资格知识考试题库与答案
- 公安案件汇报
- 防洪防汛桌面演练
- 肌少症获奖课件
- 2024年执业药师继续教育专业答案
- 学校食堂食品原材料采购投标书
- DB13-T 3035-2023 建筑消防设施维护保养技术规范
- 汽车 4S 店防汛应急预案
评论
0/150
提交评论