skip to main content
review-article

Session Summary: Conformance Issues

Published:28 December 2015Publication History

Abstract

No abstract available.

References

  1. Ada Conformity Assessment Authority. Ada conformity assessment test suite (ACATA), 2014. URL http://www.ada-auth.org/acats.html.Google ScholarGoogle Scholar
  2. A. Burns and A. Wellings. Testing conformity to the real-time annex. In A. Wellings, editor, 17th International Real-Time Ada Workshop, IRTAW-17, Bennington, VT., USA, April 2015.Google ScholarGoogle Scholar
  3. ISO/IEC. TR15942:2000 -- Information Technology -- Programming Languages -- Guide for the Use of the Ada Programming Language in High Integrity Systems, 2000.Google ScholarGoogle Scholar
  4. ISO/IEC. TR24718:2005 -- Information Technology -- Programming Languages -- Guide for the use of the Ada Ravenscar profile in high integrity systems, 2005.Google ScholarGoogle Scholar
  5. ISO/IEC. TR24772 -- Information Technology -- Programming Languages -- Guidance to avoiding vulnerabilities in programming languages through language selection and use, 2014. Draft 3rd ed.Google ScholarGoogle Scholar
  6. J. Tokar. Update of ISO/IEC TR 15942, programming languages -- Guide for the use of the Ada programming language in high integrity systems. In A. Wellings, editor, 17th International Real-Time Ada Workshop, IRTAW-17, Bennington, VT., USA, April 2015.Google ScholarGoogle Scholar

Index Terms

(auto-classified)
  1. Session Summary: Conformance Issues

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in

      Full Access

      • Published in

        cover image ACM SIGAda Ada Letters
        ACM SIGAda Ada Letters  Volume 35, Issue 1
        April 2015
        96 pages
        ISSN:1094-3641
        DOI:10.1145/2870544
        Issue’s Table of Contents

        Copyright © 2015 Authors

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 28 December 2015

        Check for updates

        Qualifiers

        • review-article
      • Article Metrics

        • Downloads (Last 12 months)0
        • Downloads (Last 6 weeks)0

        Other Metrics

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!