Author: Jonathan P. Bowen
Publications
Co-authors
Productive Colleagues
- David Lorge Parnas
- David Gries
- Robert L. Glass
- 29
- 31
- 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. 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.