ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Architecture of ASIS: a tool to support code analysis of complex systems
Full text PdfPdf (634 KB)
Source ACM SIGAda Ada Letters archive
Volume XVII ,  Issue 1  (Jan./Feb. 1997) table of contents
Pages: 35 - 40  
Year of Publication: 1997
ISSN:1094-3641
Authors
Currie Colket  SPAWAR, Arlington, Virginia
Gary Barnes  Rational Software Corporation, Santa Clara, California
Steve Blake  Thomson Software Products, San Diego, California
Dan Cooper  Boeing, Seattle, Washington
Jesper Jørgensen  DDC-I, Lyngby, Denmark
Clyde Roby  IDA, Alexandria, Virginia
Dan Rittersdorf  Concurrent Computer Corporation, Sparta, Michigan
Sergey Ryben  Moscow State University, Moscow, Russia
Alfred Strohmeier  Swiss Federal Institute of Technology, Lausanne, Switzerland
Bill Thomas  MITRE, McLean, Virginia
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 2,   Downloads (12 Months): 9,   Citation Count: 1
Additional Information:

references   cited by   index terms   collaborative colleagues  

Tools and Actions: Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/249984.249991
What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
1
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
 
3
Sergey Rybin , Alfred Strohmeier , Eugene Zueff, ASIS for GNAT: Goals, Problems and Implementation Strategy, Proceedings of the Second International Eurospace - Ada-Europe Symposium on Ada in Europe, p.139-151, October 02-06, 1995
 
4
Sergey Rybin , Alfred Strohmeier , Alexey Kuchumov , Vasiliy Fofanov, ASIS for GNAT: From the Prototype to the Full Implementation, Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, p.298-311, June 10-14, 1996

CITED BY
William Currie Colket, Code analysis of saftey-critical and real-time software using ASIS, ACM SIGAda Ada Letters, v.XIX n.3, p.67-76, Sept. 1999

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.0 General
          Subjects: Standards


General Terms:
Design, Documentation, Standardization, Theory

Collaborative Colleagues:
Currie Colket: colleagues
Gary Barnes: colleagues
Steve Blake: colleagues
Dan Cooper: colleagues
Jesper Jørgensen: colleagues
Clyde Roby: colleagues
Dan Rittersdorf: colleagues
Sergey Ryben: colleagues
Alfred Strohmeier: colleagues
Bill Thomas: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player