Author: Jonathan P. Bowen

Jonathan P. Bowen

Jonathan P. Bowen


Publication period start: 1992
Publication period end: 2008
Number of co-authors: 22


Number of publications with favourite co-authors
Robert L. Glass
Kia Ng
Michael G. Hinchey

Productive Colleagues

Most productive colleagues in number of publications
David Lorge Parnas
David Gries
Robert L. Glass


Hinchey, Mike, Jackson, Michael, Cousot, Patrick, Cook, Byron, Bowen, Jonathan P., Margaria, Tiziana (2008): Software engineering and formal methods. In Communications of the ACM, 51 (9) pp. 54-59.

Bowen, Jonathan P., Hinchey, Michael G. (2006): Ten Commandments of Formal Methods ...Ten Years Later. In IEEE Computer, 39 (1) pp. 40-48.

Bowen, Jonathan P. (2000): The Ethics of Safety-Critical Systems. In Communications of the ACM, 43 (4) pp. 91-97.

Bowen, Jonathan P., Butler, Ricky W., Dill, David L., Glass, Robert L., Gries, David, Hall, Anthony, Hinchey, Michael G., Holloway, C. Michael, Jackson, Daniel, Jones, Cliff B., Lutz, Michael J., Parnas, David Lorge, Rushby, John M., Wing, Jeannette M., Zave, Pamela (1996): An Invitation to Formal Methods. In IEEE Computer, 29 (4) pp. 16-30.

Bowen, Jonathan P., Hinchey, Michael G. (1995): Ten Commandments of Formal Methods. In IEEE Computer, 28 (4) pp. 56-63.

Bowen, Jonathan P. (1992): X: Why Z?. In Comput. Graph. Forum, 11 (4) pp. 221-234.

Kapoor, Kalpesh, Bowen, Jonathan P. (2003): Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Crite. In: ISESE 2003 - International Symposium on Empirical Software Engineering 30 September - 1 October, 2003, Rome, Italy. pp. 185-194.

Seal, Alan, Bowen, Jonathan P., Ng, Kia (eds.) Electronic Visualisation and the Arts EVA London 2010 5-7 July, 2010, British Computer Society, London.