Tag: adacore

Tag Visualization: Top 50 related tags by occurrence

Recent Related Articles to adacore

SD Times news digest: Make with Ada programming competition, ARCore updates, and Element AI ...

Added to Collection on: 2019-09-12 23:56:15

Tags for this article:

Artificial intelligence
Computational neuroscience
Cybernetics
Application programming interface
Here
Web mapping
Route planning software
Spark
Ada
Programming languages
Computer languages
adacore

Click the tags to see associated articles and topics

View Article Details
AdaCore Broadens its Cybersecurity Capabilities with the Acquisition of Componolit GmbH

Added to Collection on: 2021-02-16 13:18:45

Tags for this article:

Programming languages
Computing
Software engineering
Ada
Software testing
Computer network security
CodePeer
Spark
GNAT
Formal methods
A Sharp
Static program analysis
adacore

Click the tags to see associated articles and topics

View Article Details
Battery Ventures Announces Strategic Investment in AdaCore to Propel the Future of High ...

Added to Collection on: 2024-03-28 19:29:03

Tags for this article:

Software quality
Safety engineering
Ada
Spark
High integrity software
Computer security
Safety-critical system
adacore

Click the tags to see associated articles and topics

View Article Details
Battery Ventures announces strategic investment in AdaCore to propel future of High ...

Added to Collection on: 2024-03-28 16:18:28

Tags for this article:

Ada
Spark
University of Southampton
Software quality
High integrity software
Computer security
adacore

Click the tags to see associated articles and topics

View Article Details
Book a Demo