• 现行
  • 正在执行有效
  • 2002-07-04 颁布
©正版授权
注：本标准为国际组织发行的正版标准，下载后为完整内容；本图片为程序生成，仅供参考，介绍内容如有偏差，以实际下载内容为准
【正版授权-英语版】 ISO/IEC 13568:2002 EN Information technology - Z formal specification notation - Syntax,type system and semantics_第1页
全文预览已结束

下载本文档

基本信息：

  • 标准号：ISO/IEC 13568:2002 EN
  • 标准名称：信息技术 Z 形式规范符号 语法、类型系统和语义
  • 英文名称：Information technology — Z formal specification notation — Syntax, type system and semantics
  • 标准状态：现行
  • 发布日期：2002-07-04

文档简介

ISO/IEC13568:2002ENInformationTechnology—Z正式规范符号—语法、类型系统和语义是用于表示和描述信息系统的正式符号系统。它是一种符号化的语言，用于描述系统的结构和行为，以及其间的关系和相互作用。该标准提供了Z规范符号的基本语法、类型系统和语义规则，用于创建和维护信息系统规格说明的规范性和一致性。

Z规范符号包括一系列符号和表示法，用于表示各种概念、数据类型、操作和关系。它提供了一种形式化的方式来表示信息系统的复杂性和多样性，使得规格说明易于理解和验证。该标准还定义了一组类型系统，包括数据类型、操作符、函数和类等，以及它们的语义含义和约束条件。

使用ISO/IEC13568:2002EN，可以确保信息系统规格说明的准确性和一致性，减少误解和歧义的风险。它有助于确保系统开发过程中的正确性和可靠性，以及系统交付后的维护和升级。此外，该标准还提供了一种用于描述和交流信息系统的通用语言，使得不同团队和组织之间的沟通和协作变得更加容易。

人人文库> 全部分类> 行业资料 > 各类标准

温馨提示

  • 1. 本站所提供的标准文本仅供个人学习、研究之用，未经授权，严禁复制、发行、汇编、翻译或网络传播等，侵权必究。
  • 2. 本站所提供的标准均为PDF格式电子版文本（可阅读打印），因数字商品的特殊性，一经售出，不提供退换货服务。
  • 3. 标准文档要求电子版与印刷版保持一致，所以下载的文档中可能包含空白页，非文档质量问题。
  • 4. 下载后请按顺序安装Reader（点击安装）和FileOpen（点击安装）方可打开。详细可查看标准文档下载声明

最新文档

评论

0/150

提交评论