Jonathan P. Bowen - researchr profile

researchr

You are not signed in
Sign in
Sign up

I am Chairman of Museophile Limited and Emeritus Professor at London South Bank University. I am a computer scientist with interests covering software engineering, formal methods, and museum informatics.

2002	-		:	Museophile Limited
2000	-		:	London South Bank University
1995	-	2000	:	University of Reading
1985	-	1995	:	University of Oxford
1979	-	1984	:	Imperial College London

From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods CommunityJonathan P. Bowen, Steve Reeves. FM 2011: 308-322 [doi]

Linking denotational semantics with operational semantics for web servicesHuibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen. isse, 6(4):283-298, 2010. [doi]

Using formal specifications to support testingRobert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan. ACM Comput. Surv., 41(2), 2009. [doi]

Formal Versus Agile: Survival of the FittestSue Black, Paul Boca, Jonathan P. Bowen, Jason Gorman, Mike Hinchey. Computer, 42(9):37-45, 2009. [doi]

PTSC: probability, time and shared-variable concurrencyHuibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen. isse, 5(4):271-284, 2009. [doi]

Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-netJonathan P. Bowen, Michael G. Hinchey. BIRTHDAY 2009: 219-233 [doi]

runs on WebDSL