| here is your current tearsheet, i.e., company listing, news releases, demo's, white paper, and other items being indexed by eg3.com. to update simply copy the text of an item, and email to info@eg3.com with the suggested changes. to submit a new item simply email to info@eg3.com.
-
new product
-
AdaCore Releases Major New Version of CodePeer Static Analysis Tool
AdaCore today announced the release of CodePeer 2.1, the advanced static analysis tool that helps developers detect potential run-time and logic errors in Ada programs. By mathematically analyzing every line of software, and considering every possible input and every path through the program, CodePeer can be used very early in the development life-cycle to identify problems when defects are much less costly to repair. CodePeer 2.1...
http://www.adacore.com/2012/02/28/codepeer2-1/
Classified with the keyword(s):
- embedded software : ada
- embedded software : news
- embedded software : software testing
(to change this item, email text via this submission form)
-
new product
-
AdaCore Releases GNAT Pro 7.0
AdaCore today announced the availability of GNAT Pro 7.0, a major new version of the company’s flagship development environment product. This latest annual release completely implements the upcoming Ada 2012 language revision, offers a range of improvements (many based on user suggestions), supports several new platforms, includes an important new testing tool (GNATtest), and enhances several existing tools. As with all AdaCore products,...
http://www.adacore.com/2012/02/28/gnatpro7/
Classified with the keyword(s):
- embedded software : ada
- embedded software : news
(to change this item, email text via this submission form)
-
company
-
AdaCore
AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where reliability, efficiency and safety are critical. AdaCore’s flagship product is GNAT Pro, the commercial-grade open-source Ada development environment which is available on more platforms than any other Ada technology. Use of Ada and GNAT Pro continues to high-integrity and safety-critical...
http://www.adacore.com/
Classified with the keyword(s):
(to change this item, email text via this submission form)
-
new product
-
AdaCore Launches GNATtest
AdaCore, provider of Ada tools and expertise for the mission-critical, safety-critical, and security-critical software communities, today announced the immediate availability of the GNATtest unit test harness generator for Ada. The GNATtest tool helps automate the essential, but tedious and error-prone, processes for developing and managing the large number of test cases that accompany the verification of large software systems. The task...
http://www.adacore.com/2012/02/01/adacore-launches-gnattest/
Classified with the keyword(s):
- embedded software : ada
- embedded software : news
(to change this item, email text via this submission form)
-
new product
-
Embraer Selects Ada and AdaCore’s GNAT Pro for AMX Upgrade
AdaCore, provider of tools and expertise for the mission-critical, safety-critical, and security-critical software communities, today announced that Embraer Defense and Security has selected the GNAT Pro Ada development environment from AdaCore as a primary tool set to develop the Operation Flight Program for the AMX Modernization program. GNAT Pro will be used along with Wind River’s VxWorks real-time operating system (RTOS) as the...
http://www.adacore.com/2012/03/26/embraer-amx-upgrade/
Classified with the keyword(s):
- embedded software : ada
- embedded software : news
(to change this item, email text via this submission form) |
