The kinds of software programs that DOD needs for weapons systems and those that commercial industry creates for popular use often do not share the same basic requirements. DOD's requirements for high ...

NEW YORK –Software specialist AdaCore in New York is working with NVIDIA Corp. in Santa Clara, Calif., to implement the Ada and SPARK programming languages for security- and safety-critical firmware ...

Who doesn’t want to use a programming language that is designed to be reliable, straightforward to learn and also happens to be certified for everything from avionics to rockets and ICBMs? Despite Ada ...

The Ada programming language was born in the mid-1970s, when the US Department of Defense (DoD) and the UK’s Ministry Of Defence sought to replace the hundreds of specialized programming languages ...

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

Aerospace and defense applications continue to rely on the Ada programming language and SPARK subset as systems – both new innovations and upgraded legacy or traditional solutions – grow in complexity ...

GNAT Programming Studio (GPS) 3.0 supports Ada, C, C++, and a wide range of native and cross-development platforms, including Unix, Windows, and GNU/Linux. GPS provides an intuitive, unified visual ...

This article is part of Now and Then and Ada and SPARK. The International Organization for Standardization recently approved the latest revision of Ada, known as Ada 2012, close to 30 years after the ...

AdaCore today announced a new partnership with BlackBerry to support the company’s industry-leading QNX operating system across AdaCore’s family of GNAT Pro software tools, including GNAT Pro ...

Tiobe CEO Paul Jansen says Ada, a system programming language whose initial development dates back to the late 1970s, could outlast similarly aged languages like Visual Basic, Perl, and Fortran in the ...

Recent progress in software engineering includes the development of models and technology to improve software processes and architectures. This chapter highlights some of these approaches as a ...