See this document in CiteSeerX!

Ada 95 And Safety-Critical Software  (Make Corrections)  
C. Michael Holloway



  Home/Search   Context   Related

 
View or download:
nasa.gov/CMH/dascbib.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  nasa.gov/ltrs/1995cit (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: The revised Ada standard (ISO/IEC-8652:1995, commonly referred to as Ada 95) was released by the International Standards Organization (ISO) in February 1995. One of the unique features of this standard is that it is divided into a Core Language, which must be fully implemented, and several Specialized Needs Annexes, which provide standard definitions for additional features for particular application areas. Of particular interest to developers of safety-critical software is Annex H: Safety and ... (Update)

Active bibliography (related documents):   More   All
1.5:   G Numerics - The Numerics   (Correct)
0.8:   How to Program in Ada 9X, Using Ada 83 - Erhard Ploedereder   (Correct)
0.3:   Shared Packages Through Linda - Wall, Lundqvist (1996)   (Correct)

Similar documents based on text:   More   All
0.3:   Specification Of Radio Broadcast Data Systems - Committee (1998)   (Correct)
0.2:   The Role of Natural Language in Accident Investigation.. - Hanks, Knight, Holloway (2002)   (Correct)
0.2:   SOFTWARE---PRACTICE AND EXPERIENCE, VOL. 22(5), 391--417.. - Leslie Lander Sandeep   (Correct)

BibTeX entry:   (Update)

@misc{ holloway-ada,
  author = "C. Michael Holloway",
  title = "Ada 95 And Safety-Critical Software",
  url = "citeseer.ist.psu.edu/359266.html" }
Citations (may not include all citations):
15   Office of the Under Secretary of Defense for Acquisition (context) - Office - 1989
15   Office of the Under Secretary of Defense for Acquisition (context) - Office - 1990
15   Office of the Under Secretary of Defense for Acquisition (context) - Office - 1989
15   Office of the Under Secretary of Defense for Acquisition (context) - Office - 1991
11   Ada 95 Rationale (context) - Inc, Massachusetts - 1995
8   Reference Manual for the Ada Programming Language (context) - Standards, ANSI - 1983
3   Ada 95 Reference Manual (context) - ISO - 1995
2   Department of Defense Requirements for High Order Computer P.. (context) - Research, Agency et al. - 1978
1   Office of the Under Secretary of Defense for Acquisition (context) - Barnes, Ada et al. - 1993

Documents on the same site (http://techreports.larc.nasa.gov/ltrs/1995-cit.html):   More
NASA Langley's Research and Technology-Transfer.. - Butler, Caldwell, .. (1995)   (Correct)
Analysis of Three-Dimensional-Cavity-Backed Aperture Antennas.. - Reddy, al. (1995)   (Correct)
HZETRN: Description of a Free-Space Ion and Nucleon.. - Wilson, Badavi, al. (1995)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC