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

Ada is a programming language with a long history designed to support high quality software development especially for safety and secure applications such as avionics. SPARK is a version of Ada that ...

Ada and SPARK are typically used for developing highly reliable software and it can reduce the cost of doing so. Ada and SPARK have typically been used for applications that require high levels of ...

Adaを対象にプログラミングを習う初回です。 内容は、John EnglishのAda 95: The Craft of Object-Oriented Programmingの1章の読書感想文です。 何かを学ぼうとするとき、人は自然と謙虚になるものなのでしょうか。文章がデスマス調になってしまいました。 読み始めて直ぐ ...

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