Jonathan P. Bowen
Jonathan P. Bowen
Emeritus Professor of Computing, London South Bank University
確認したメール アドレス: lsbu.ac.uk - ホームページ
タイトル引用先
The Concise Oxford Dictionary of Current English [computing terms]
RE Allen, et al.
Oxford University Press, 1990
1352*1990
Seven more myths of formal methods
JP Bowen, MG Hinchey
IEEE Software 12 (4), 34-41, 1995
4751995
Safety-critical systems, formal methods and standards
JP Bowen, V Stavridou
Software Engineering Journal 8 (4), 189-209, 1993
4731993
Using formal specifications to support testing
RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, ...
ACM Computing Surveys (CSUR) 41 (2), 1-76, 2009
3932009
Ten commandments of formal methods
JP Bowen, MG Hinchey
Computer 28 (4), 56-63, 1995
3791995
Applications of Formal Methods
MG Hinchey, JP Bowen
Prentice Hall International Series in Computer Science, 1995
3371995
Computer Science Handbook [Formal methods]
AB Tucker, et al.
Chapman & Hall / CRC Press, 2004
317*2004
Digital Technologies and the Museum Experience: Handheld guides and other media
JP Bowen, J Bradburne, A Burch, L Dierking, J Falk, S Filippini-Fantoni, ...
Rowman Altamira, 2008
2832008
Formal Specification and Documentation using Z: A case study approach
JP Bowen
International Thomson Computer Press, 1996
2541996
An invitation to formal methods
H Saiedian, JP Bowen, RW Butler, DL Dill, RL Glass, D Gries, JA Hall, ...
Computer 29 (4), 16-30, 1996
2061996
The Oxford Companion to the History of Modern Science [Computer science]
JL Heilbron, et al.
Oxford University Press, 2003
1772003
Personalization and the web from a museum perspective
JP Bowen, S Filippini-Fantoni
MW2004: Museums and the Web – Selected Papers from an International …, 2004
1542004
Ten commandments of formal methods ...Ten years later
JP Bowen, MG Hinchey
Computer 39 (1), 40-48, 2006
1532006
Formal methods in safety-critical standards
JP Bowen
SESS'93: Software Engineering Standards Symposium, 168-177, 1993
1191993
Industrial-Strength Formal Methods in Practice
MG Hinchey, JP Bowen
Springer, FACIT, 1999
108*1999
High-Integrity System Specification and Design
JP Bowen, MG Hinchey
Springer, FACIT, 1999
103*1999
Formal versus agile: Survival of the fittest
SE Black, PP Boca, JP Bowen, J Gorman, MG Hinchey
Computer 42 (9), 37-45, 2009
1022009
The REDO Compendium: Reverse Engineering for Software Maintenance
HJ van Zuylen, et al.
John Wiley & Sons, 1993
1021993
ZUM'98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24–26, 1998, Proceedings
JP Bowen, A Fett, MG Hinchey
Lecture Notes in Computer Science 1493, 1998
93*1998
Z and HOL
JP Bowen, MJC Gordon
ZUM'94: Z User Workshop, Cambridge 1994, 141-167, 1994
91*1994
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20