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 ...

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”), ...

SPARK Pro 14.0 brings new proof technology and additional language features to developers of high-integrity software Altran and AdaCore announce the release of the SPARK Pro 14.0 integrated ...

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 ...

NEW YORK, PARIS & RAPPERSWIL, Switzerland--(BUSINESS WIRE)--The Institute for Internet Technologies and Applications at the University of Applied Sciences in Rapperswil (Switzerland) and AdaCore today ...

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 ...