ISO/IEC 13817-1:1996
信息技术.程序设计语言及其环境和系统软件接口.Vienna(维也纳)开发方法.规范语言.第1部分:基本语言
Information technology - Programming languages, their environments and system software interfaces - Vienna development method - Specification language - Part 1: Base language
- 标准号
- ISO/IEC 13817-1:1996
- 发布
- 1996年
- 发布单位
- 国际标准化组织
- 当前最新
- ISO/IEC 13817-1:1996
- 适用范围
- 指定基于模型的规范语言 VDM-SL（维也纳开发方法 - 规范语言）。 包含数学和交换表示，给出语法、静态和动态语义以及规范和工具的一致性。
ISO/IEC 13817-1:1996相似标准
KS X ISO/IEC 13817-1-2007(2022) 信息技术程序设计语言及其环境和系统软件接口维也纳开发方法规范语言第1部分:基本语言
KS X ISO/IEC 13817-1-2007(2017) 信息技术程序设计语言及其环境和系统软件接口维也纳开发方法规范语言第1部分:基础语言
ANSI/INCITS/ISO/IEC 13817-1:1996 信息技术.编程设计语言及其环境和系统软件接口.（维也纳）开发方法.规范语言.第1部分:基本语言
BS ISO/IEC 13817-1:1997 信息技术.程序语言、及其环境和系统软件接口.第1部分:维也纳研制法.规范语言.基本语言
BS ISO/IEC 13817-1:1996 信息技术 编程语言、其环境和系统软件接口 维也纳发展法 规范语言 基础语言
推荐
科技部等五部门印发《国家新一代人工智能标准体系建设指南》
规定自然语言处理基础、信息提取、文本内容分析等方面的技术要求，解决计算机理解和表达自然语言过程中的数据、分析方法和语义描述的一致性问题。自然语言处理标准包括语言信息提取、文本处理、语义处理、应用扩展四个部分。２．智能语音标准。规范人机语言通信的技术和方法，确保语音识别、语音合成及其应用的准确性、一致性、高效性和可用性。智能语音标准包括语音设施设备、语音处理、语音识别、语音合成、语音接口五个部分。...
基于虚拟仪器的氦质谱检漏仪监控系统设计
为了对其进行升级，结合虚拟仪器技术，本文设计开发了一套监控系统。该监控系统将氦质谱检漏仪的控制面板一部分功能转移到电脑上来，提供了良好的人机交互界面，具有数据分析、记录功能，可以进行一定程度上的自动运行，减轻了操作人员的劳动量。1 系统构成及其工作过程 系统整体结构如图1所示。...
这所中国高校又拿了一个世界第一！虽然看不懂但就是牛！
不明觉厉...正式介绍前，先来科普几个知识点：超级计算（supercomputing），也称为高性能计算（high-performance computing），是研发超级计算机（supercomputer）及其软件和应用的领域。编程是让计算机为解决某个问题而使用某种程序设计语言编写程序代码，并最终得到相应结果的过程。...
【特别推荐】美军联合一体化应急模型：自动化兵棋推演系统的应用
目录：第1章 兰德战略评估系统的软件设计第1节 兰德战略评估系统之系统软件概述1.兰德战略评估系统系统软件要求2.软件设计方法的主要特征3.功能描述4.软件方面5.现状第2节 兰德ABEL™编程语言历史背景、基本原理及设计1.引言2.兰德ABEL语言出现前兰德战略评估中心的发展3.对新编程语言的要求4.兰德ABEL语言的演变5.指导兰德ABEL语言开发的原理基础6.兰德ABEL语言的重要特性7.目前状况和未来方向...