Software News

AdaCore and SofCheck Merge

Ada expert Tucker Taft joining AdaCore as Director of Language Research
AdaCore, a leading supplier of Ada development tools and support …

» more

‘Project P’ and ‘Hi-MoCo’ Research Projects Launched

Open-source research projects combine model-based integration and qualified code generation for safety-critical systems
AdaCore has announced its participation in ‘Project P’ …

» more

AdaCore Launches GNATtest

Unit test harness generator reduces test development effort for large software projects
AdaCore, provider of Ada tools and expertise for the …

» more

Improving Systems and Software Engineering Conference 2011

http://www.issec.com.au/
2 - 5 August, Novotel Sydney, Brighton Beach, NSW
The Systems & Software Quality Institute (SSQI) in technical collaboration with the …

» more

AdaCore Releases First Non-Intrusive Coverage Tool to Fully Support All Levels of Safety Certification

AdaCore, a leading supplier of Ada development tools and support services, has announced the release of GNATcoverage, a tool that …

» more

 »