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

The new Ada 2012 standard was recently approved by ISO. It incorporates contracts that will have a major impact on application design. The relationship of a software developer to his or her ...

The Embedded Systems Conference (ESC) gave me the opportunity to learn about new software products and technologies. Here's a roundup of several interesting announcements: Java with Concurrent ...

Ada for Software Engineers teaches the language through relatively large case-studies such as a discrete event simulation. The presentation emphasizes the features for object-oriented and systems ...