Article
Feb 16 '10
Published
in Embedded Computing Design by Tucker Taft
Static analysis tools are becoming more integrated into the software development process. Saving data from the compiler, change history, and error information during the process instead of as a post-code step can make static analysis more productive.
Article
Feb 15 '10
Published
in Embedded.com by Jack Ganssle
Jack Ganssle at Embedded.com discusses the Sofcheck and AdaCore CodePeer tool in Executing software contracts; in particular he examines the tool’s ability to create contracts for subprograms.
Article
Dec 7 '09
Published
in Electronic Design by William Wong
William Wong looks at the Dasher project being developed by Mälardalen University in Sweden.
Article
Feb 4 '09
Published
in Embedded.com by Jack Ganssle
Jack Ganssle at Embedded.com wonders Why aren’t developers more interested in Ada?
Article
Feb 2 '09
Published
in Embedded.com by Jack Ganssle
A follow-up piece by Jack Ganssle from his original article on the adoption of Ada which appears on Embedded.com.
Article
Apr 11 '08
Published
in Government Computer News by Joab Jackson
Joab Jackson takes a look at the history of the Ada programming language, it’s traditional markets, and gives a real picture of Ada’s place in today’s software development world.
Article
Apr 6 '08
Published
in TechWorld by Naomi Hamilton
Naomi Hamilton at TechWorld chats with S. Tucker Taft, Chairman and CTO of SofCheck. Taft has been heavily involved in the Ada 1995 and 2005 revisions, and still works with the language today as both a designer and user.
Article
Feb 7 '08
Published
in Electronic Design by Robert Dewar
The choice of programming languages is one of the most critical decisions in any programming project. And there’s no shortage of choices. In the 60-year history of computer programming, hundreds of different languages have been designed and used for various purposes.