Product integration takes the SPARK language and toolset to the next level
BOSTON, October 28, 2008 – Embedded Systems Conference – Praxis, international specialist in critical systems engineering, and AdaCore, provider of the highest quality Ada tools and support, have announced the formation of a long-term partnership with the intent of taking the SPARK language and toolset to a new level in technical capability, marketing and sales.