阅读《软件工程—理论方法与实践》第五章心得体会

阅读第五章所了解到的基本知识，形式化方法是指将离散数学的方法用于解决软件工程领域的问题,主要包括建立精确的数学模型以及对模型的分析活动。主要目的是保证软件的正确性。已建立的形式化方法可分为操作类和描述类。操作类方法基于状态和转移;描述类基于数学公理和概念。形式证明与验证技术主要包括模型检测(适用于有穷状态系统,完全自动化并且验证速度快)和定理证明(采用逻辑公式来表示系统规约及其性质,分为自动和交互式两种)。一阶线性时态逻辑是一阶谓词逻辑的扩展。对汉诺塔操作规划问题有了更深一步的理解。计算树逻辑是一种离散、分支时间、命题时态逻辑。相比FOLTL増加了路径量词:所有未来路径、至少某一路径。Z语言的数学基础是集合论和—阶谓词演算,其模型的三个主要组成部分是输入、输出和状态。Z语言表示抽象的要素总体上可分为两类:基于集合理论的集合、关系、函数、序列和包,以及Z独有的模式。通过对Z语言实例的阅读，对Z语言有了进一步了解。Petri网分为位置/迁移Petri网和高级Petri网。Petri网具有丰富的结构描述能力,有顺序、并发、冲突、混惑结构模型。

转载于:https://www.cnblogs.com/fengyutongxing/p/4297695.html

阅读《软件工程—理论方法与实践》第五章心得体会相关推荐

阅读《软件工程—理论方法与实践》第四章心得体会
阅读第四章所得体会.软件需求是决定软件开发是否成功的一个关键因素.开发人员应当学会正确地理解软件需求,实行开非完善但是高质量的需求开发和管理,最大限度地降低软件需求风险.软件需求可以划分为业务需求(定 ...
软件工程理论方法与实践
第一章. 概述软件是人类思维的杰作,并成为人类现代生活的催化剂.今天软件遍布整个世界,在生物工程.现代通信.宇宙探索.商务处理.工业控制等方面发挥出巨大的威力,并推动了商业.科学和工程领域的跨越式 ...
Python编程从入门到实践第五章部分习题
Python编程从入门到实践第五章部分习题 5-8 5-9` names = ['admin','zhang','li','zhao','song'] for name in names:if nam ...
c语言管理系统实践体会,C语言实践实习工作个人心得体会汇编
<C语言实践实习工作个人心得体会汇编>由会员分享,可在线阅读,更多相关<C语言实践实习工作个人心得体会汇编(4页珍藏版)>请在人人文库网上搜索. 1.欢迎阅读优秀材料c语言实践 ...
近期活动盘点：2019第六届世界互联网大会、面向智慧城市的人本尺度城市形态：理论方法与实践讲座、高级管理人员AI大数据能力研修班...
想知道近期有什么最新活动?大数点为你整理的近期活动信息在此 2019第六届世界互联网大会•数字经济产业合作系列活动 2019年10月19日-10月20日 2018年,我国GDP超过90万亿元,全国互联 ...
[计网：原理与实践] 第五章：端到端协议（课后习题整理）
第五章端到端协议 5-1 说明在包括大量应用进程的应用层与支持主机到主机端到端通信的网络层之间设置运输层的必要性.运输层应当提供的服务包括哪些? 运输层运行在位于因特网边缘的端系统上,对上直接为 ...
linux环境搭建实践总结,linux实习心得体会
linux实习心得体会 linux实习心得体会1 学习Linux,应该怎样学,主要学些什么,一位Linux热心学习者,一段学习Linux的风云经验,历时十二个小时的思考总结,近十位网络Linux学习者 ...
计算机专业教师理论培训小结,教师多媒体培训个人心得体会【四篇】
[导语]多媒体教学扩大了教学容量,教学资源得到很好的应用.教师多媒体培训后的心得怎么写?下面是无忧考网为您整理的教师多媒体培训个人心得体会[四篇],仅供参考,希望您喜欢!更多详细内容请关注无忧考网进行 ...
软件工程——理论、方法与实践第六章
第六章面向对象技术是软件工程领域中的重要技术.主要讲 1.面向对象方法概述,面向对象=对象+类+继承+通信,然后介绍了其发展历史,,面向对象的软件工程方法分为面向对象分析.设计.编程.测试.维护. ...

阅读《软件工程—理论方法与实践》第五章心得体会

阅读《软件工程—理论方法与实践》第五章心得体会相关推荐

最新文章

热门文章