Author: Jonathan P. Bowen
Publication Overview
Publication period start: 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.
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.