Author: Jonathan P. Bowen

Jonathan P. Bowen

Jonathan P. Bowen

Publications

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

Co-authors

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

Productive Colleagues

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

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.