Architecture of ASIS-Reference-Cited by-同舟云学术

Architecture of ASIS

Published:1997-01 Issue:1 Volume:XVII Page:35-40
ISSN:1094-3641
Container-title:ACM SIGAda Ada Letters
language:en
Short-container-title:Ada Lett.

Author:

Colket Currie¹,Barnes Gary²,Blake Steve³,Cooper Dan⁴,Jørgensen Jesper⁵,Roby Clyde⁶,Rittersdorf Dan⁷,Ryben Sergey⁸,Strohmeier Alfred⁹,Thomas Bill¹⁰

Affiliation:

1. SPAWAR, Arlington, Virginia

2. Rational Software Corporation, Santa Clara, California

3. Thomson Software Products, San Diego, California

4. Boeing, Seattle, Washington

5. DDC-I, Lyngby, Denmark

6. IDA, Alexandria, Virginia

7. Concurrent Computer Corporation, Sparta, Michigan

8. Moscow State University, Moscow, Russia

9. Swiss Federal Institute of Technology, Lausanne, Switzerland

10. MITRE, McLean, Virginia

Publisher

Association for Computing Machinery (ACM)

Reference4 articles.

1. 1 . ISO/IEC 8652:1995 Information Technology - Programming Languages -Ada. 1. ISO/IEC 8652:1995 Information Technology - Programming Languages -Ada.

2. 2 . Association for Computing Machinery (ACM) Special Interest Group in Ada (SIGAda) ASISWG/ISO/IEC JTC 1 SC 22/WG 9 ASISRG ASIS Working Draft Version 2.0.j 1 November 1996 available World Wide Web site at ¿ http://www.acm.org/sigada/WG/asiswg 2. Association for Computing Machinery (ACM) Special Interest Group in Ada (SIGAda) ASISWG/ISO/IEC JTC 1 SC 22/WG 9 ASISRG ASIS Working Draft Version 2.0.j 1 November 1996 available World Wide Web site at ¿ http://www.acm.org/sigada/WG/asiswg

3. 3 . Rybin A. Strohmeier E. Zueff; 1995: "ASIS for GNAT: Goals Problems and Implementation Strategy " Ada-Europe Symposium Proceedings Springer-Verlag LNCS #1031 pages 139-151. 3. Rybin A. Strohmeier E. Zueff; 1995: "ASIS for GNAT: Goals Problems and Implementation Strategy " Ada-Europe Symposium Proceedings Springer-Verlag LNCS #1031 pages 139-151.

4. 4 . Rybin A. Strohmeier A. Kuchumov V. Fofanov; 1996: "ASIS for GNAT: From the Prototype to the Full Implementation " Proceedings of Ada-Europe Conference on Reliable Software Technologies Springer-Verlag LNCS #1088 pages 298-311. 4. Rybin A. Strohmeier A. Kuchumov V. Fofanov; 1996: "ASIS for GNAT: From the Prototype to the Full Implementation " Proceedings of Ada-Europe Conference on Reliable Software Technologies Springer-Verlag LNCS #1088 pages 298-311.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. OASIS – An ASIS Secondary Library for Analyzing Object-Oriented Ada Code;Reliable SoftwareTechnologies — Ada-Europe 2001;2001

2. A Supporting Tool for Development of Self-Measurement Ada Programs;Reliable Software Technologies Ada-Europe 2000;2000

3. ASIS-for-GNAT: A Report of Practical Experiences;Reliable Software Technologies Ada-Europe 2000;2000

4. Code analysis of saftey-critical and real-time software using ASIS;ACM SIGAda Ada Letters;1999-09