K
v
ire
.com
your senior peer reviewer
←
Back
Night
Docs
Editor
Drafts
Library
Search
…
Author
Jonathan P. Bowen
also known as Bowen, J., Bowen, JP, Bowen, Jonathan
Southwest University · London South Bank University · University of North Carolina at Chapel Hill · New Jersey Institute of Technology
About this author
Works
634
Cited by
15,125
h-index
59
i10
282
ORCID ↗
Top papers
Using formal specifications to support testing
Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, et al.
·
2009
·
ACM Computing Surveys
↗ 348
OA
Safety-critical systems, formal methods and standards
Jonathan P. Bowen, V. Stavridou
·
1993
·
Software Engineering Journal
↗ 294
Seven more myths of formal methods
Jonathan P. Bowen, Mike Hinchey
·
1995
·
IEEE Software
↗ 288
Ten commandments of formal methods
Jonathan P. Bowen, Mike Hinchey
·
1995
·
Computer
↗ 245
Applications of Formal Methods
Jonathan P. Bowen, Mike Hinchey
·
1995
·
Prentice Hall PTR eBooks
↗ 167
Museums and Digital Culture: From Reality to Digitality in the Age of COVID-19
Tula Giannini, Jonathan P. Bowen
·
2022
·
Heritage
↗ 154
OA
Formal Specification and Documentation Using Z: A Case Study Approach
Jonathan P. Bowen
·
1996
↗ 139
An Invitation to Formal Methods
Jonathan P. Bowen, Ricky W. Butler, David L. Dill, et al.
·
1996
·
Computer
↗ 134
ZB 2003: Formal Specification and Development in Z and B
Didier Bert, Waldén, Marina, Steve King, et al.
·
2003
·
Lecture notes in computer science
↗ 125
ZB 2002:Formal Specification and Development in Z and B
Didier Bert, Ken Robinson, Martin C. Henson, et al.
·
2002
·
Lecture notes in computer science
↗ 122
Ten Commandments of Formal Methods ...Ten Years Later
Jonathan P. Bowen, Mike Hinchey
·
2006
·
Computer
↗ 111
Industrial-Strength Formal Methods in Practice
Michael G. Hinchey, Jonathan P. Bowen
·
1999
↗ 87
Books
ZB 2003
2003
·
Springer
The Z formal specification notation
1997
·
Springer
ZUM '95: The Z Formal Specification Notation
1995
·
Springer
High-Integrity System Specification and Design
1999
·
Springer London
Electronic Visualisation in Arts and Culture
2013
·
Springer London, Limited
Museums and Digital Culture
2019
·
Springer
Unifying Theories of Programming
2017
·
Springer
Engineering Trustworthy Software Systems
2026
·
Springer