AdaCore also suports SPARK, a cross between a development environment, a tool set and and an Ada subset, which is even more suitable for safety-critical environment than Ada.
September 28, 2011
featured blogs
Mar 27, 2020
[From the last episode: We saw how pointers are an important kind of variable, representing data whose location we can't predict in advance.] We saw last time that pointers are used to store the addresses of data stored in memory space that's allocated while the progr...
Mar 27, 2020
Have you ever paused to consider how temptingly tasty electronic circuits would look if their components and copper tracks were mounted on a glass substrate?...
Mar 27, 2020
Solar Power While the cost and benefits of solar power can and have been debated, there's one point that cannot be debated: the solar energy sector continues to grow. The solar energy sector has grown 68% over the last decade, and the cost of solar infrastruc...
Mar 26, 2020
Late last week you may have seen the open letter from our CEO, Tony Hemmelgarn, laying out the steps that Siemens Digital Industries Software is taking to support our customers during the COVID-19 global crisis. All of us are getting use to the “new normal” ...