AdaCore

Company InfoLess Info

AdaCore is a provider of commercial, open software solutions for Ada, a modern programming language designed for large, long-lived applications where reliability, efficiency and safety are absolutely critical.

Our Website: www.adacore.com

Industry: Aerospace/Defense/Government

Our TechOnline Content

Recent

Popular

- Abstract Interface Types in GNAT: Conversions, Discriminants, and C++
  
  Tools | Development // Development
  
  Technical Paper 0 likes
- Multi-Language Programming: The Challenge and Promise of Class-Level Interfacing
  
  Tools | Development // Development
  
  Technical Paper 0 likes
- Safety-Critical Design Techniques for Secure and Reliable Systems
  
  Technical Paper / Conference Paper 0 likes
- Safety-Critical Design Techniques for Secure and Reliable Systems
  
  Technical Paper / Conference Paper 0 likes
- Abstract Interface Types in GNAT: Conversions, Discriminants, and C++
  
  Tools | Development // Development
  
  Technical Paper 0 likes
- Design Techniques for Safety- and Security-Critical Systems
  
  Technical Paper / Conference Paper 0 likes

see more from AdaCore

AdaCore

AdaCore

Our TechOnline Content

Our TechOnline Content

Abstract Interface Types in GNAT: Conversions, Discriminants, and C++

Multi-Language Programming: The Challenge and Promise of Class-Level Interfacing

Safety-Critical Design Techniques for Secure and Reliable Systems

Safety-Critical Design Techniques for Secure and Reliable Systems

Abstract Interface Types in GNAT: Conversions, Discriminants, and C++

Design Techniques for Safety- and Security-Critical Systems

Advertisement

From the Network

From the Network

AdaCore

AdaCore

Our TechOnline Content

Our TechOnline Content

Abstract Interface Types in GNAT: Conversions, Discriminants, and C++

Multi-Language Programming: The Challenge and Promise of Class-Level Interfacing

Safety-Critical Design Techniques for Secure and Reliable Systems

Safety-Critical Design Techniques for Secure and Reliable Systems

Abstract Interface Types in GNAT: Conversions, Discriminants, and C++

Design Techniques for Safety- and Security-Critical Systems

Share

Advertisement

From the Network

From the Network

Please Login

Please Login

Please Login