AdaCore

Programa una reunión www.adacore.com

Company details

Type: Independent Software Vendor
Company size: Medium
Deployment: On-Premises
Industry focus: Transportation

Products

13

Analysis and Verification Tools

C
CodePeer
G
GNATcoverage
G
GNATdashboard
G
GNATstack
G
GNATtest
S
SPARK Pro

Development Environments

G
GNAT Studio
G
GNATbench

GNAT Pro

G
GNAT Pro Assurance
G
GNAT Pro Enterprise
G
GNAT Pro for Rust

Qualification and Certification

Q
QGen
T
Tool Qualification Kits

Artículos relevantes de la base de conocimiento

¿Qué es el tail spend management en Software?

Leer más Artículo

Temporada de renovación: así prepara sus contratos de software para 2027

Leer más Artículo

¿Qué es la shadow IT y por qué es un riesgo?

Leer más Artículo

Microsoft en 2026: qué significan los cambios de precio para tu próxima renovación

Leer más Artículo

¿Qué es la consolidación de proveedores y cómo abordarla?

Leer más Artículo

Shadow AI: la nueva shadow IT

Leer más Artículo

DORA en la práctica: qué piden los supervisores sobre sus fabricantes de software

Leer más Guía de cumplimiento

NIS2: lo que debe saber sobre la ley de ciberseguridad y la compra de Software

Leer más Artículo

Aumentos anuales de precio: cómo negociar cláusulas de indexación

Leer más Guía de cumplimiento

DORA explicado: impacto en la compra de Software en el sector financiero

¿Comprar con mejores condiciones en AdaCore?

SoftVaro negocia en tu nombre el mejor acuerdo para AdaCore. Transparente, competitivo y en menos de 24 horas.

Programa una reunión Ver todos los proveedores