2014年10月13日
Z语音概述from百度
摘要： Z语言是一种以一阶谓词演算为主要理论基础的规约语言，是一种功能性语言。Z语言是将事物的状态和行为用数学符号形式化表达的语言，为编写计算机程序和验证计算机程序的正确性提供依据，是软件工程中编码之前的规格说明语言。形式化描述语言Z指的是著名数学家Zermelo，它是目前使用最广泛的一种形式化描述语言，在... 阅读全文
posted @ 2014-10-13 15:12 BelieveA 阅读(537) 评论(0) 推荐(0) 编辑
《软件形式规格说明语言-Z》 缪淮扣 学习笔记 10-12
摘要： 《软件形式规格说明语言-Z》 缪淮扣第一章 绪论1.1 软件生命周期： 需求分析与规格说明 设计 实现 测试 交付与维护 ——瀑布模型1.2 软件规格说明的两种抽象：过程抽象、数据抽象。过程抽象描述软件系统要实现的功能，而不是如何实现的具体步骤；数据抽象就是在规格说明中使用集合、关系、映射、序列、包... 阅读全文
posted @ 2014-10-13 09:58 BelieveA 阅读(2619) 评论(0) 推荐(0) 编辑
2014年10月8日
形式化规格技术和验证技术小结
摘要： 形式化规格技术：1、定义： 对系统或者对象及其期望的特性或者行为进行的描述。规格所要描述的内容包括：功能特性（做什么）、行为特性（具体行为演化-如何做）、结构特性（系统的组成，子系统间的联系和复合）、时间特性（时间相关的系统特性）。形式化规格就是通过具有明确数学定义的文法和语义的语言实现以上描述。2... 阅读全文
posted @ 2014-10-08 22:55 BelieveA 阅读(475) 评论(0) 推荐(0) 编辑
2014年9月19日
9-19记录
该文被密码保护。 阅读全文
posted @ 2014-09-19 16:39 BelieveA 阅读(3) 评论(1) 推荐(0) 编辑