publication venue for
- Software Engineering: A Profession in Waiting. 54:62-64. 2021
- Understanding Integrity Level Concepts. 47:99-101. 2014
- Software Engineering - Missing in Action: A Personal Perspective. 44:54-58. 2011
- Really Rethinking 'Formal Methods'. 43:28-34. 2010
- A Product-Focused Approach to Software Certification. 41:91-93. 2008
- AQUA: An Amphibious Autonomous Robot. 40:46-53. 2007
- Sanctions raise fairness issues. 35:9-10. 2002
- Mathematical methods: What we need and don't need. 29:28-29. 1996
- Why software jewels are rare. 29:57-60. 1996
- Education for computing professionals. 23:17-22. 1990