Jonathan Bowen

Jonathan Bowen

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.

Back to all authors

Books Authored by Jonathan Bowen

Formal Specification and Documentation using Z: A Case Study Approach

Post date: 11 Jun 2005
Presents 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.
Publisher: Thomson Publishing
Publication date: 01 Feb 1996
 
Formal Specification and Documentation using Z: A Case Study Approach

Formal Specification and Documentation using Z: A Case Study Approach

Post date: 11 Jun 2005
Presents 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.
Publisher: Thomson Publishing
Publication date: 01 Feb 1996


Book Categories
Sponsors
Icons8, a free icon pack