形式化方法Z是一种基于一阶谓词逻辑和集合论的规格说明语言。其基本思想是利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型。在需求规格说明中，Z语言精确的描述软件系统”做什么”而不涉及”怎么做”，只对目标软件系统进行功能描述。通过明确定义状态和操作来建立一个系统模型(使系统从一个……

📙 相关书籍

  1. 《程序设计方法及在线实践指导》高清PDF 本书以程序设计思想和方法为主线讲解C/C++语言基础知识，并通过经典的程序设计竞赛题目为例题讲解基本的算法思想和应用问题。本书内容分为五篇。第一篇介绍基础知识；第二篇引入ACM/ICPC程序设计竞赛题目的输入／输出方式，并介绍枚举、模拟、字符串处理等基本算法和应用问题；第三篇介绍高精度计算、递归和搜......
  2. 《程序设计方法及在线实践指导 学习指导与习题解析》高清PDF 本书是《程序设计方法及在线实践指导》这本主教材的配套教材。第1～9章的内容分为学习指导、思考题解析、练习题解析和补充例题，首先通过学习指导引导学生更好学习和理解主教材中介绍的编程思想和方法，同时对主教材中的内容做了很好的总结和补充；然后对主教材中的思考题和练习题作了详细的分析和求解；此外，为进一步阐......
  3. 《程序设计方法教程》高清PDF 本书内容包括程序设计概述、程序设计语言与环境、结构化程序设计方法、面向对象程序设计方法、面向对象程序设计的基本原则、设计模式、程序设计优化、开发实例解析等。...
  4. 《程序设计方法学》高清PDF 18170403010101...
  5. 《新编程序设计方法学》高清PDF ...
  6. 《程序员修炼之道》高清PDF 本书由各个相对独立的章节组成，描述了软件开发各个方面的最佳实践和主要缺陷。...
  7. 《VISUAL BASIC 程序设计习题集与上机指导》高清PDF 本书是配合《Visual Basic程序设计教程》一书编写的配套参考书，全书主要由四部分组成。第一部分是根据《Visual Basic程序设计教程》每一部分知识的重点和难点，给出的习题及参考答案，第二部分是上机实验指导，包括Visual Basic 6.0的系统要求、安装过程、帮助系统，程序调试与错......
  8. 《面向AMetal框架和接口的C编程》高清PDF ...
  9. 《编译技术基础教程》高清PDF 本书在简要介绍编译技术所涉及的基本知识和高级语言的语法描述方法之后，按照编译程序的工作过程逐步介绍了编译各个阶段的主要内容。...
  10. 《亮剑Visual C++项目开发案例导航》高清PDF 本书通过系统而完整的程序设计案例，详细介绍了使用Visual C++ 6.0开发各种应用系统的思路、方法、经验及技巧。案例范围涉及综合测评、点歌管理、超市管理、人事管理、电子词典、公交信息查询、毕业设计管理、辅助教学、家庭理财及试卷生成等系统，实用性非常强。本书以案例教学方式来组织内容，重点明确、结......

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。