Popular related searches


Author: Jonathan P. Bowen


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


Number of publications with favourite co-authors
Alan Seal
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. https://dl.acm.org/doi/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. https://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. https://dl.acm.org/doi/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. https://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. https://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.