Jonathan Bowen, FBCS FRSA, is Chairman of Museophile Limited (founded in 2002) and an Emeritus Professor at London South Bank University, where he established and headed the Centre for Applied Formal Methods in 2000.
He has been involved with the field of computing in both industry (including Marconi Instruments, Logica, Silicon Graphics Inc., and Praxis) and academia since 1977. His interests have ranged from formal methods, safety-critical systems, the Z notation, provably correct systems, rapid prototyping using logic programming, decompilation, hardware compilation, software/hardware co-design, linking semantics, and software testing, to the history of computing, on-line museums, and virtual communities.
Books Authored by Jonathan Bowen
Formal Specification and Documentation using Z: A Case Study Approach
Post date: 11 Jun 2005Presents a pragmatic view of the use of formal methods, that it can still be beneficial (and is much more cost effective in general) than attempting proofs in many cases.
Formal Specification and Documentation using Z: A Case Study Approach
Post date: 11 Jun 2005Presents a pragmatic view of the use of formal methods, that it can still be beneficial (and is much more cost effective in general) than attempting proofs in many cases.