Press Release
Mar 12 '13
Atego™, launches a new version of Atego ApexAda™ Developer Enterprise Edition with Ada 2005 support.
Atego ApexAda Developer 5.0 is a major new release with complete support for the language features in Ada 2005. It passes all available Ada Conformity Assessment Test Suite (ACATS) tests applicable for native code compilation and execution. The Atego ApexAda Developer product provides a complete solution for editing, compiling, debugging, testing, managing, and executing even the most complex and challenging Ada applications on UNIX and Linux-based operating systems.
Blog
Mar 9 '13
There recently have been some questions about how often the pages here are updated. We try to verify the information on the pages at least twice per year, and of course we add information as it becomes available. For instance, today we added a couple of free libraries (OpenGLAda and Yami4) that we had previously unintentionally left out. If you find any stale information on our site, please use the contact page to tell us about it.
Press Release
Feb 26 '13
AdaCore today announced the availability of its GNAT Pro Safety-Critical product for ARM Cortex micro-controllers. This bareboard GNAT Pro Safety-Critical product provides a complete Ada development environment, oriented towards systems that are safety-critical or have stringent memory constraints. Developers of such systems can now exploit the software engineering benefits of the Ada language, including reliability, maintainability, and portability.
Article
Feb 19 '13
Published
in Embedded.com by Bernard Cole
Embedded.com denoted one of their weekly Tech Focus issues to Ada. This is the overview article, full of links to other Ada articles (most of which have been previously featured here).
Article
Feb 14 '13
Published
in Embedded.com by Tucker Taft
Describes how Ada features, including new Ada 2012 features, make it possible to describe more of the design of a system than other languages. By describing the design in safe, high-level features, it is easier to verify that the translation of the design to code has been carried out accurately, and more of this verification can be automated.
Article
Feb 4 '13
Published
in Electronic Design by Quentin Ochem
The industrialization age of programming by contract is opening a new era in software development. Just as development techniques went from assembly to structured languages and from structured languages to object orientation, contract-based programming is providing one more abstraction to software design.
Article
Jan 31 '13
Published
in Embedded.com by Daniel Bigelow
This article on Embedded.Com explores the contract facilities of Ada 2012.