Build your own keyword analysis with our tools
SEO Report
Server Infos
Backlinks

HTML Analysis

Page Status
 

Found

Highlighted Content
Title

AdaCore : The GNAT Pro Company

Description

Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology.

Keywords

H1

AdaCore
Frontline Support Expertise
Partner Highlight
IBM Rational

H2

In the Press
Video Demo
Ada 2012
Safe and Secure Solutions
SPARK Pro
GNATcoverage
Hi-Lite
CodePeer 2.2
GNAT Pro 7.1.1
SPARK Pro 11.0
GPS 5.2.0
CodePeer 2.1
Technical Papers
Development Log
Live Docs
Gem of the Week
Webinars
Sep 24-26, 2013
Sep 25, 2013
Oct 15-17, 2013
Nov 10-15, 2013

H3

Tuesday Apr 30, 2013
Thursday Feb 14, 2013
Tuesday Oct 16, 2012
Tuesday Oct 16, 2012
Wednesday Feb 1, 2012

H4

H5

Text Analysis

Cloud of Keywords from all content
High relevance
 

software gnat notes development release

Medium relevance
 

embedded secure adacore project safe systems language 2012 see environment codepeer learn

Low relevance
 

project safe systems language 2012 see environment codepeer learn industrial experience graphical developer international spark real-time toolset high-security meet safety engineering high-reliability oct formal announces feb programming 0 tuesday 2013 see selects support

Very Low relevance
 
industrial experience graphical developer international spark real-time toolset high-security meet safety engineering high-reliability oct formal announces feb programming 0 tuesday 2013 see selects support 24-26 montreal canada sae uk iet 2 tuesday 10-15 apr conference nov aerotech sep user 15-17 day oct cardiff 2 sep paris more »   codepeer france gnat knowledgebase properties papers safe invitation 2012 development log additional technical 1 wednesday map rss twitter copyright gps list site 1 thursday warnings rights reserved week gem mathematical documentation gem docs gnatemulator unused pittsburgh subunits live programs webinars introducing high requirements non-ambiguously java structure behavioral engineers allowing solution sysml uml® code aspects device create generating models simulated automatically enabling mdd rhapsody offers model driven projects modeling quality tested partners »     tight deliver rational developing highlight ibm sigada’ hilt home contact pricing news partners mailing 2013 partner schedules demands achieves rhapsody® integrated visual deployable rational invaluable robust product ibm usa acm leverage testing today verification do-178c alternatives avionics operating completion hi-lite nebenläufige programmierung heise ieee toyota analysis static tool down up spotlight safe development frontline version major itc japan project adacore releases station adacore space answers academia support us company products developers training customers ada press adacore brings wind tracker contact password company adacore gnat tracker access email password forgot river linux vector automotive astrium adacore’s polyorb specifier electronic compiler cortex vector roads support product updates knowledge methods popularizing high-integrity learn more frontline expertise we aiming learn more » hi-lite hi-lite analyzing reporting program coverage team literally setting effort resolving complex challenge original worked hundreds years collective staff tool specialized arm ada mixed 2012 see iso approved validation demo verification center events partners adacore tools expertise video solutions solutions designed foremost discipline high-assurance learn more » gnatcoverage our pro the » spark safety-critical applications critical » gnat access

Highlighted Content Analysis

Cloud of Keywords from all content
High relevance
 

2013

Medium relevance
 

2012 adacore oct gnat tuesday

Low relevance
 

oct gnat tuesday development spark sep support codepeer solutions feb

Very Low relevance
 
development spark sep support codepeer solutions feb gps video hi-lite safe secure gnatcoverage technical gem 10-15 15-17 apr thursday wednesday 24-26 webinars live log docs press week papers partner programming state-of-the-art language designed applications long-lived software commercial founded company 1994 leading provider safety security technology platforms frontline expertise ibm highlight on-line expert critical reliability flagship product environment rational