skip to main content
AdaCore AdaCore
  • Products
    • Overview
    • GNAT Pro
      • Overview
      • Assurance
      • Enterprise
      • Comparison
      • Toolsuite
    • GNAT Dynamic Analysis Suite
      • GNATcoverage
      • GNATtest
      • GNATfuzz
    • GNAT Static Analysis Suite
      • CodePeer
      • GNATcheck
      • GNATmetric
    • SPARK Pro
      • Overview
      • Demos
      • Use Cases
    • RecordFlux
    • Ferrocene
    • Pricing
    • Terms and Conditions
    • Languages
  • Services
    • Overview
    • Certification & Qualification
    • Mentorship
    • Training
    • Consulting
  • Industries
    • Overview
    • Domains
      • Avionics
      • ATM
      • Space
      • Rail
      • Automotive
      • Defense
      • Security
      • Medical
    • Case Studies
    • Standards
      • DO-178
      • ESARR
      • CAP670-SWO1
      • CWE
      • EN 50128
      • FACE
      • ISO 26262
      • IEC 61508
  • Company
    • Overview
    • About AdaCore
    • Press Releases
    • Events
    • Executive Team
    • Careers
    • Our Customers
    • Partners
    • Contact Us
    • Legal
    • Privacy Policy
  • Resources
    • Overview
    • Case Studies
    • Books
    • Papers
    • Articles
    • Videos
    • AdaCore Blog
    • Learn.adacore.com
  • Community
    • Overview
    • Academia
      • Overview
      • Projects
      • Universities
      • Register
      • Login
    • About Ada
    • About SPARK
    • Contact
  • Support
    • Overview
    • GNAT Tracker
    • Documentation
    • Dev Log
    • Cybersecurity Center
    • AdaCore Digest

Login to GNAT Tracker

Forgot your password?
GT Login Request Pricing
Resources
Overview Case Studies Books Papers Articles Videos AdaCore Blog

Ada 2005 Rationale

A series of papers by John Barnes highlighting the rationale for Ada 2005


Ada 2005 Rationale
Download 1.799 MB pdf

Learn Ada Today

Visit our interactive platform designed to teach the Ada and SPARK languages. »

Request Pricing

Help us understand your development needs and request pricing or an evaluation »

  • Products
  • GNAT Pro
  • GNAT Dynamic Analysis Suite
  • GNAT Static Analysis Suite
  • SPARK Pro
  • RecordFlux
  • Ferrocene
  • Pricing
  • Terms and Conditions
  • Languages
  • Services
  • Certification & Qualification
  • Mentorship
  • Training
  • Consulting
  • Industries
  • Avionics
  • ATM
  • Space
  • Rail
  • Automotive
  • Defense
  • Security
  • Medical
  • Company
  • About AdaCore
  • Press Releases
  • Events
  • Executive Team
  • Careers
  • Our Customers
  • Partners
  • Contact
  • Resources
  • Overview
  • Case Studies
  • Books
  • Papers
  • Articles
  • Videos
  • AdaCore Blog
  • Learn.adacore.com
  • Community
  • Getting Started
  • About Ada
  • About SPARK
  • Contact
  • Academia
  • Overview
  • Projects
  • Universities
  • GAP Registration
  • GAP Login
  • Support
  • GNAT Tracker
  • Documentation
  • Dev Log
  • Cybersecurity Center
  • Other AdaCore Sites
  • The AdaCore Blog
  • Learn.adacore.com
  • Make with Ada
Twitter LinkedIn YouTube GitHub RSS
Copyright © 2023 AdaCore. All rights reserved.   Legal   |  Privacy Policy   |  Code of Conduct