没有合适的资源?快使用搜索试试~
我知道了~
文库首页
行业研究
行业报告
软件开发的形式化方法FormalMethodsforSoftwareDe.pptx
软件开发的形式化方法FormalMethodsforSoftwareDe.pptx
0 下载量
134 浏览量
2023-07-29
21:53:27
上传
评论
收藏
3.99MB
PPTX
举报
温馨提示
立即下载
开通VIP(低至0.43/天)
买1年送3月
软件开发的形式化方法FormalMethodsforSoftwareDe.pptx
资源推荐
资源评论
软件开发的形式化方法
浏览:9
4星 · 用户满意度95%
《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论,内容涵盖了SE2004中关于"软件的形式化方法"的知识点,主要包括:有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度,形式化方法是软件开发过程中分析、设计及实现
软件开发中的形式化方法
浏览:70
5星 · 资源好评率100%
基于研究的角度,讨论了在软件开发过程各阶段使用形式化方法的可能及困难,进而研究了形式化方法在理论上和应用上的能力、局限性及其产生原因,以及由此产生的对形式化方法的讨论。
形式化软件开发方法-PPT课件.ppt
浏览:152
形式化软件开发方法-PPT课件.ppt
软件开发形式化方法教材
浏览:121
软件开发的形式化方法。语义学方面的教材。
软件形式化方法ppt课件.ppt
浏览:168
软件形式化方法ppt课件.ppt
形式化软件开发方法PPT学习教案.pptx
浏览:45
形式化软件开发方法PPT学习教案.pptx
形式化方法在软件工程中的应用研究
浏览:133
关于Z语言的文章.探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各 阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了 形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价。
软件形式化方法PPT课件.ppt
浏览:108
软件形式化方法PPT课件.ppt
软件工程中的形式化方法研究综述
浏览:140
软件工程中形式化方法是以数学理论为基础建立的一种用来解决软件工程领域问题系统性分析方法。
软件开发中的形式化方法.docx
浏览:29
软件开发中的形式化方法.docx
软件开发中的形式化方法.pdf
浏览:91
软件开发中的形式化方法.pdf
面向方面软件开发的形式化方法与编译器技术分析研究.pdf
浏览:135
面向方面软件开发的形式化方法与编译器技术分析研究.pdf
两次数据精化的形式化软件开发方法 (2006年)
浏览:181
提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。传统Z规约数据精化很复杂。该文先采用过程写出初始规范,对模式进行第一次数据精化,然后把它转换为2模式,再进行过程精化。最后再数据精化到目标代码。以常见动态 Web网页脚本语言PHP为例,阐述了该方法。并为此写了一套从过程到Z模式的转化规则,以及精化到PHP的精化规则。
软件工程的形式化方法
浏览:111
形式化方法
形式化方法在软件工程中的应用研究 (2011年)
浏览:175
5星 · 资源好评率100%
探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价。
形式化方法
浏览:10
5星 · 资源好评率100%
形式化方法:通过数学逻辑来表述一个软件开发,最终还可以通过验证来证明软件开发的可行性。
形式化方法资料
浏览:55
形式化方法的课件,北大裘宗燕老师的课件
形式化方法教材
浏览:156
3星 · 编辑精心推荐
形式化方法教材,教材及练习题答案。Ch01-Ch16,APPENDIX2
软件工程形式化
浏览:141
武汉大学软件工程国家重点实验室讲义,是软件工程领域形式化\语义逻辑必须有的知识储备
软件开发的多种文档模版
浏览:49
1 引言 1.1 编写目的 说明编写这份操作手册的目的,指出预期的读者。 1.2 前景 说明: a.这份操作手册所描述的软件系统的名称; b.该软件项目的任务提出者、开发者、用户(或首批用户)及安装该软件的计算中心。 1.3定义 列出本文件中用到的专门术语的定义和外文首字母组词的原词组。 1.4参考资料 列出有用的参考资料,如: a.
形式化方法论文集合
浏览:54
4星 · 用户满意度95%
有关形式化方法著名论文的集合,由日本九州大学的教授整理的
关于软件形式化方法* (2002年)
浏览:144
简要回顾了形式化方法的发展历程,阐述了形式化方法的定义、重要性及主要研究内容。着重讨论了形式规约语言与方法,以及演绎证明和模型检测等形式验证方法。
软件形式化开发方法的选择策略研究
浏览:197
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
软件工程的形式化方法考查试题
浏览:200
软件工程的形式化方法考查试题,软件形式规格说明语言z,期末考试试题
软件工程开发过程一些步骤
浏览:14
4星 · 用户满意度95%
这本是讲的是在软件开发过程中的一些具体步骤和一些具体分析
形式化方法课件(中文)
浏览:71
北大形式化方法课程的课件,重点介绍软件开发过程中的形式化方法。
北邮大三上2022年《算法设计与分析》期末试题-A卷
浏览:14
北邮大三上2022年《算法设计与分析》期末试题-A卷-计科专业-5.0
1000套计算机毕业设计带源码
浏览:41
5星 · 资源好评率100%
1000套计算机毕业设计带源码 可直接用带ppt 1000套计算机毕业设计带源码 可直接用带ppt1000套计算机毕业设计带源码 可直接用带ppt1000套计算机毕业设计带源码 可直接用带ppt1000套计算机毕业设计带源码 可直接用带ppt1000套计算机毕业设计带源码 可直接用带ppt1000套计算机毕业设计带源码 可直接用带ppt1000套计算机毕业设计带源码 可直接用带ppt1000套计算
评论
收藏
内容反馈
立即下载
开通VIP(低至0.43/天)
买1年送3月
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
Mmnnnbb123
粉丝: 761
资源:
8万+
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
自由工作制.docx
市场部弹性工作制实施及管理办法.docx
北京希尔顿酒店圣诞节晚会策划方案.ppt
房地产公司圣诞活动策划方案.docx
公司春节晚会方案.doc
公司春节晚会策划方案.doc
公司节日对员工的问候.doc
2016年度公司旅游活动策划方案.pptx
公司2012年度旅游活动策划方案书[1].ppt
公司登山旅游活动方案.doc
公司旅游计划方案.doc
公司年度旅游策划方案.doc
公司组织旅游项目方案.docx
员工旅游方案策划书.doc
公司开业庆典主持词.docx
2017培训年度规划和培训体系建立.ppt
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功