11问答网
所有问题
软件工程中的形式方法
关于书的介绍
举报该问题
推荐答案 2012-01-10
《软件工程形式化方法与语言》选取并介绍了三种代表性的形式化方法,它们分别是以集合论和一阶谓词演算为基础的Z语言,以时态逻辑为基础的XYZ,还有以直觉数学学派为基础的类型理论。《软件工程形式化方法与语言》既可以作为计算机专业的研究生的形式化课程教材,又可以用作专业人员的参考书。虽然真正从事形式化方面的工作的人员不多,但是有必要通过对该课程的学习,使学生在理论、技术和方法上都得到了系统而有效的训练,有利于提高软件人员的素质和能力。
温馨提示:答案为网友推荐,仅供参考
当前网址:
http://11.wendadaohang.com/zd/8vSPvSP2q.html
其他回答
第1个回答 2012-01-09
去找专业的书看呀
相似回答
软件工程形式
化
方法
与语言图书目录
答:
这本书《软件工程
形式
化
方法
与语言》分为多个章节,旨在介绍形式化方法在
软件工程中的
应用。第1章概述了软件工程的基本概念,强调了规格说明及其形式化的重要性,并提到了Z语言,这本书将作为主要工具进行讲解。第2章深入探讨了命题逻辑,涵盖了命题、合取、析取、蕴含、等价以及否定等基本概念。第3章进一...
大家正在搜
软件工程中的各种方法是完成
软件工程中的开发方法不包括
最广泛的软件工程方法
使用最广泛的软件工程方法
软件工程的三个要素 方法
什么是软件工程方法
软件工程方法有哪几种
软件工程方法与技术
软件工程原理方法与应用
相关问题
软件工程中几种常用的软件开发方法的概述和比较
软件工程有哪些原则?
软件工程方法学的基本内容包括哪些?
"软件工程"与"软件开发方法"是什么关系
目前使用最广泛的软件工程方法分别是
软件工程中的主要体系结构有哪些,并说明区别
软件工程三个基本要素:方法,工具,过程。他们之间的是什么关系...
软件工程导论里的SA方法是什么意思?