Why Projects Fail. A powerpoint presentation from a lecture to the 2008 Oxford MSc in Computer Science.

What makes software dependable? A powerpoint presentation from an invited lecture at the 2008 MoD workshop on Reliability and Maintainability.

Critical Software. An expanded version of What Makes Software Dependable? given as an invited talk to MSc students at the Royal Military College, Shrivenham UK, 2008.

A View from the Stern An article about key topics in software engineering. Format: Microsoft Word

Engineering judgement A paper about software safety assessment, Format: PDF
 
Engineering judgement PowerPoint presentation to accompany the above paper

Extreme Hubris In which the principles of eXtreme Programming are criticised, and an alternative manifesto is proposed. Format: Microsoft Word

issues in safety assurance In which the philosophy of Safety Integrity Levels is discussed and an alternative is proposed. Format: Microsoft Word

Issues in safety assurance PowerPoint presentation to accompany the above paper

Oxford 2005 Lecture 1 Four lectures on why projects fail. Lecture 1: The problem with software

Oxford 2005 Lecture 2 Four lectures on why projects fail. Lecture 2: Software failures

Oxford 2005 Lecture 3 Four lectures on why projects fail. Lecture 3: Safety matters

Oxford 2005 Lecture 4 Four lectures on why projects fail. Lecture 4: Principles of Software Engineering

The Price of Freedom 2004 PowerPoint presentation on social issues in computing

The modest Software Engineer A paper on software engineering, dedicated to Edsgar Dijkstra

Requirements and Formality A PowerPoint presentation on the role of formal methods in requirements engineering.

Engineering Ingenuity to Protect Personal Privacy A presentation given to the Information Commissioner's conference in Manchester in December 2007. PDF format.

Software Engineering Issues in System Dependability. A presentation given to a joint workshop of the Engineering Academy of Japan and the Royal Academy of Engineering, in the British Embassy, Tokyo, November 2008.

Martyn Thomas is the joint editor of a recent report from the US National Academy of Sciences Computer Science and Telecommunications Board, entitled Sufficient Evidence? Building Certifiably Dependable Systems. We can provide a pdf copy of this report on request.