首页 馆藏资源 舆情信息 标准服务 科研活动 关于我们
现行 ISO/IEC 15291:1999
到馆阅读
收藏跟踪
购买正版
Information technology — Programming languages — Ada Semantic Interface Specification (ASIS) 信息技术——编程语言——Ada语义接口规范(ASIS)
发布日期: 1999-04-29
Ada语义接口规范(ASIS)是Ada环境(由ISO/IEC 8652:1995定义)和任何需要来自该环境的信息的工具之间的接口。Ada环境包含有价值的语义和句法信息。ASIS是一个开放和发布的可调用接口,它使CASE工具和应用程序开发人员能够访问这些信息。ASIS被设计成独立于底层Ada环境实现,从而支持软件工程工具的可移植性,同时使工具开发人员无需理解Ada环境专有内部表示的复杂性。 受益于ASIS接口的工具的示例包括:自动代码监视器、浏览器、调用树工具、代码重整器、编码标准遵从性工具、正确性验证器、调试器、依赖树分析工具、设计工具、文档生成器、度量工具、质量评估工具、逆向工程到ols、再造工具、安全和安保工具、风格检查器、测试工具、时间估计器和翻译器。 该国际标准规定了Ada编译环境的ASIS接口的形式和含义。 该国际标准适用于Ada编译环境中需要语法和语义信息的工具和应用程序。
The Ada Semantic Interface Specification (ASIS) is an interface between an Ada environment (as defined by ISO/IEC 8652:1995) and any tool requiring information from this environment. An Ada environment includes valuable semantic and syntactic information. ASIS is an open and published callable interface which gives CASE tool and application developers access to this information. ASIS has been designed to be independent of underlying Ada environment implementations, thus supporting portability of software engineering tools while relieving tool developers from needing to understand the complexities of an Ada environment’s proprietary internal representation. Examples of tools that benefit from the ASIS interface include: automated code monitors, browsers, call tree tools, code reformators, coding standards compliance tools, correctness verifiers, debuggers, dependency tree analysis tools, design tools, document generators, metrics tools, quality assessment tools, reverse engineering tools, re-engineering tools, safety and security tools, style checkers, test tools, timing estimators, and translators. This International Standard specifies the form and meaning of the ASIS interface to the Ada compilation environment. This International Standard is applicable to tools and applications needing syntactic and semantic information in the Ada compilation environment.
分类信息
关联关系
研制信息
归口单位: ISO/IEC JTC 1/SC 22
相似标准/计划/法规
现行
KS X 2032(2017 Confirm)
정보기술 - 프로그래밍 언어 - Ada 의미 체계 인터페이스 명세(ASIS)
信息技术程序设计语言Ada语义接口规范(ASIS)
2001-04-17
现行
KS X 2032(2021 Confirm)
정보기술 - 프로그래밍 언어 - Ada 의미 체계 인터페이스 명세(ASIS)
信息技术—编程语言—Ada语义接口规范(ASIS)
2001-04-17
现行
ISO/IEC 8652-2023
Information technology - Programming languages - Ada
信息技术.程序设计语言.Ada
2023-05-02
现行
ISO/IEC 8652-2023
Information technology — Programming languages — Ada
信息技术.程序设计语言.Ada
2023-05-02
现行
BS ISO/IEC 14519-2001
Information technology. POSIX Ada language interfaces. Binding for system application program interface (API)
信息技术 POSIX Ada语言接口 系统应用程序接口(API)绑定
2002-03-11
现行
ISO/IEC 14519-2001
Information technology -- POSIX Ada Language Interfaces -- Binding for System Application Program Interface (API)
信息技术——POSIX-Ada语言接口——系统应用程序接口(API)的绑定
2001-12-20
现行
ISO/IEC 14519-2001
Information technology — POSIX Ada Language Interfaces — Binding for System Application Program Interface (API)
信息技术——POSIX Ada语言接口——系统应用程序接口(API)的绑定
2001-12-20
现行
BS ISO/IEC 18009-1999
Information technology. Programming languages. Ada: conformity assessment of a language processor
信息技术 编程语言 Ada:语言处理器的合格评定
2000-12-15
现行
ISO/IEC 18009-1999
Information technology -- Programming languages -- Ada: Conformity assessment of a language processor
信息技术程序设计语言Ada:语言处理器的合格评定
1999-12-16
现行
ISO/IEC 18009-1999
Information technology — Programming languages — Ada: Conformity assessment of a language processor
信息技术——编程语言——Ada:语言处理器的合格评定
1999-12-16
现行
ISO/IEC TR 15942-2000
Information technology — Programming languages — Guide for the use of the Ada programming language in high integrity systems
信息技术——编程语言——高完整性系统中Ada编程语言的使用指南
2000-03-16
现行
BS ISO/IEC TR 15942-2000
Information technology. Programming languages. Guide for the use of the Ada programming language in high integrity systems
信息技术 编程语言 Ada编程语言在高完整性系统中的使用指南
2000-12-15
现行
ISO/IEC TR 15942-2000
Information technology -- Programming languages -- Guide for the use of the Ada programming language in high integrity systems
信息技术程序设计语言高完整性系统中Ada程序设计语言使用指南
2000-03-16
现行
KS X ISO/IEC 12227(2011 Confirm)
정보기술 - 프로그래밍 언어 - SQL/Ada 모듈 표현 언어(SAMeDL)
信息技术 - 编程语言 - SQL/Ada模块描述语言(SAMeDL)
2001-12-31
现行
KS X ISO/IEC 12227(2021 Confirm)
정보기술 - 프로그래밍 언어 - SQL/Ada 모듈 표현 언어(SAMeDL)
信息技术程序设计语言SQL/Ada模块描述语言(SAMeDL)
2001-12-31
现行
KS X ISO/IEC 14519(2017 Confirm)
정보기술-POSIX Ada 언어 인터페이스-시스템 응용 프로그램 인터페이스(API)를 위한 바인딩-실시간 확장
信息技术-POSIX Ada语言接口-系统应用程序接口(API)绑定-实时扩展
2007-11-30
现行
KS X ISO/IEC 14519(2022 Confirm)
정보기술-POSIX Ada 언어 인터페이스-시스템 응용 프로그램 인터페이스(API)를 위한 바인딩-실시간 확장
信息技术-POSIX Ada语言接口-系统应用程序接口绑定(API)-实时扩展
2007-11-30
现行
KS X 2016(2017 Confirm)
아다(Ada) 일반원시함수 패키지
信息技术程序设计语言Ada基本函数通用包
2001-12-06
现行
KS X 2016(2021 Confirm)
아다(Ada) 일반원시함수 패키지
信息技术—编程语言—Ada基本函数通用包
2001-12-06
现行
DIN ISO/IEC 8652
Information technology, programming languages - Ada (ISO/IEC 8652:1995)
信息技术编程语言Ada(ISO/IEC 8652-1995)
1996-09-01