Jonathan P. Bowen

Publication Statistics

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

Co-authors

Number of publications with favourite co-authors

Productive Colleagues

Most productive colleagues in number of publications

Publications

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. http://doi.acm.org/10.1145/1378727.1378742

Bowen, Jonathan P., Hinchey, Michael G. (2006): Ten Commandments of Formal Methods ...Ten Years Later. In IEEE Computer, 39 (1) pp. 40-48. http://doi.ieeecomputersociety.org/10.1109/MC.2006.35

Bowen, Jonathan P. (2000): The Ethics of Safety-Critical Systems. In Communications of the ACM, 43 (4) pp. 91-97. http://doi.acm.org/10.1145/332051.332078

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. http://www.eg.org/EG/CGF/Volume11/Issue4/v11i4pp221-234_abstract.html

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. http://csdl.computer.org/comp/proceedings/isese/2003/2002/00/20020185abs.htm

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