IEEE Software Magazine Multimedia

Each issue, IEEE Software features a variety of multimedia enhancements to its print publication in the form of video interviews, podcast installments, simulations, and presentations. You can access them below or via the IEEE Computer Society YouTube stream.

« Back

May/June 2013: Safety-Critical Software

The cover features in the May/June2013 issue of IEEE Software examine safety-critical software. Multimedia highlights include Hervé Delseny giving examples of Airbus’s use of formal methods to verify avionics software and summarizing the integration of formal methods in the upcoming ED-12/DO-178 issue C.

In addition, author Grady Booch provides an audio recording of his On Computing column, in which he discusses how the purpose of good software is to make the complex appear simple, and author Diomidis Spinellis provides an audio recording of his Tools of the Trade column, in which he discusses how with mean and lean code, paranoid testing, and comprehensive logging, programmers can write the systems software that their applications deserve.

Also included in this issue is a video preview of the Software Experts Summit 2013, presented by IEEE Software, with a focus on Smart Data Science: Harnessing Data for Intelligent Decision Making. Scheduled for 17 July at the Microsoft Campus in Redmond, Washington, speakers include James Whittaker of Microsoft, Paul Zikopoulos of IBM, Wolfram Schulte of Microsoft Research, Ayse Bener of Ryerson University, and Forrest Shull of the Fraunhofer Center for Experimental Software Engineering.

The complete multimedia list for Software's May/June 2013 issue is available on YouTube at

Trackback URL:

No comments yet. Be the first.

IEEE Software September/October 2012 Cover