• 现行
  • 正在执行有效
  • 1996-12-19 颁布
©正版授权
注：本标准为国际组织发行的正版标准，下载后为完整内容；本图片为程序生成，仅供参考，介绍内容如有偏差，以实际下载内容为准
【正版授权-英语版】 ISO/IEC 13817-1:1996 EN Information technology - Programming languages,their environments and system software interfaces - Vienna Development Method - Specification Languag_第1页
全文预览已结束

下载本文档

基本信息：

  • 标准号：ISO/IEC 13817-1:1996 EN
  • 标准名称：信息技术 程序设计语言、其环境和系统软件接口 维也纳开发方法 规范语言 第1部分：基础语言
  • 英文名称：Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base language
  • 标准状态：现行
  • 发布日期：1996-12-19

文档简介

ISO/IEC13817-1:1996是一个关于编程语言、其环境以及系统软件接口的标准，它特别关注维也纳开发方法（ViennaDevelopmentMethod，简称VDM）的规范语言。VDM是一种形式化方法，用于设计和开发软件系统。

VDM规范语言是VDM的核心部分，它提供了一种用于描述软件系统结构和行为的精确语言。该标准详细说明了规范语言的语法和语义，包括各种构造和表达式的定义，以及如何使用这些构造和表达式来描述软件系统的各种方面，如功能、数据、状态转换等。

该标准还包含了一些基本概念和术语，如类型、操作、函数、数据结构等，这些是规范语言的基础。此外，该标准还规定了如何将规范语言与编程语言（如C、Java等）进行交互，以及如何将规范描述转换为实际的软件实现。

ISO/IEC13817-1:1996ENInformationtechnology—Programminglanguages,theirenvironmentsandsystemsoftwareinterfaces—ViennaDevelopmentMethod—SpecificationLanguage—Part1:Baselanguage提供了一种精确、形式化

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

温馨提示

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

最新文档

评论

0/150

提交评论