购物车
400-168-0010
【国外标准】 Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language
本网站 发布时间：
2024-08-08
开通会员免费在线看70000余条国内标准，赠送文本下载次数，单本最低仅合13.3元！还可享标准出版进度查询、定制跟踪推送、标准查新等超多特权！
查看详情>>
标准简介适用范围：
This part of ISO/IEC 13817 specifies the model based specification language VDM-SL (Vienna Development Method - Specification Language).
标准号：
INCITS/ISO/IEC 13817-1:1996 (S2022)
标准名称：
Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language
英文名称：
Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language标准状态：
现行-
发布日期：
-
实施日期：
出版语种：
- 其它标准
- 上一篇： INCITS/ISO/IEC 13714:1995[S2011] Information Technology v Document Processing and Related Communication v User Interface to Telephone-Based Services v Voice Messaging Applications (formerly ANSI/ISO/IEC 13714-1995 (R2000))
- 下一篇： INCITS/ISO/IEC 13817-1:1996[S2012] Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language
- 推荐标准
- ASTM E3166-20e1 Standard Guide for Nondestructive Examination of Metal Additively Manufactured Aerospace Parts After Build
- ASTM E3342/E3342M-22e1 Specification for Nonballistic-resistant Helmets Specifically Designed to be Worn by Law Enforcement and Corrections Officers When Maintaining Order in Violent Situations
- ASTM E349-06(2019)e1 Standard Terminology Relating to Space Simulation
- ASTM E353-19e1 Standard Test Methods for Chemical Analysis of Stainless, Heat-Resisting, Maraging, and Other Similar Chromium-Nickel-Iron Alloys
- ASTM E355-96(2021)e1 Standard Practice for Gas Chromatography Terms and Relationships
- ASTM E431-96(2022) Standard Guide to Interpretation of Radiographs of Semiconductors and Related Devices
- ASTM E496-14(2022) Standard Test Method for Measuring Neutron Fluence and Average Energy from 3H(d,n)4He Neutron Generators by Radioactivation Techniques
- ASTM E498/E498M-11(2022) Standard Practice for Leaks Using the Mass Spectrometer Leak Detector or Residual Gas Analyzer in the Tracer Probe Mode
- ASTM E562-19e1 Standard Test Method for Determining Volume Fraction by Systematic Manual Point Count
- ASTM E60-11(2022)e1 Standard Practice for Analysis of Metals, Ores, and Related Materials by Spectrophotometry
- ASTM E664/E664M-15(2020)e1 Standard Practice for the Measurement of the Apparent Attenuation of Longitudinal Ultrasonic Waves by Immersion Method
- ASTM E671-98(2022) Standard Specification for Maximum Permissible Thermal Residual Stress in Annealed Glass Laboratory Apparatus
- ASTM E715-80(2022) Standard Specification for Gravity-Convection and Forced-Circulation Water Baths
- ASTM E744-07(2022) Standard Practice for Evaluating Solar Absorptive Materials for Thermal Applications
- ASTM E751/E751M-17(2022) Standard Practice for Acoustic Emission Monitoring During Resistance Spot-Welding
