Altran and AdaCore have released an enhanced upgrade to their integrated development and verification environment for the ADA-based SPARK language, Version 14.0. According to Keith Williams, Group ...

UK Space Conference – AdaCore today announced the start of the Lunar IceCube project, a major hardware/software development effort that will use the GNAT Pro and SPARK language toolsets to help ...

Praxis has today announced that General Dynamics UK has selected Praxis’ SPARK language as part of its £6 million contract to develop the safety-critical Stores Management System for the Royal Navy’s ...

TOULOUSE, France--(BUSINESS WIRE)--ERTS 2 2016--AdaCore today announced the latest release of its SPARK Pro integrated development and verification environment, bringing a sound and mathematics-based ...

Ada is a general-purpose language, like C++ or Java, supporting the usual features of modern programming languages, such as data encapsulation, object orientation, templates (called “generics”), ...

NEW YORK--(BUSINESS WIRE)--AdaCore today announced that JTEKT, an international automotive electric power steering system manufacturing company headquartered in Japan, has adopted AdaCore’s SPARK Pro ...

Looking at programming languages, it seems that for a long time, safety or reliability was considered an afterthought, usually covered later in tools such as testing and static analysis, rather than ...

AdaCore and Altran Praxis have just release the newest version of the SPARK Pro 11 software development and verification environment for use by developers of high-assurance systems. SPARK is a ...