BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Denmark
1 × Ireland
1 × Spain
1 × Sweden
1 × United Kingdom
2 × Germany
Collaborated with:
P.T.Breuer J.He S.Reeves K.Kapoor M.G.Hinchey V.Stavridou P.K.Pandya H.Zhu J.Li N.M.Madrid R.B.France M.M.Larrondo-Petrie C.D.Kloos
Talks about:
semant (3) method (3) formal (3) communiti (2) approach (2) program (2) specif (2) vhdl (2) test (2) prototyp (1)

Person: Jonathan P. Bowen

DBLP DBLP: Bowen:Jonathan_P=

Contributed to:

FM 20112011
SEFM 20072007
FATES 20042004
IFM 20002000
DATE 19991999
FME 19941994
FME 19931993
WSA 19921992
PLILP 19901990

Wrote 9 papers:

FM-2011-BowenR #case study #community #formal method
From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community (JPB, SR), pp. 308–322.
SEFM-2007-ZhuHLB #algebra #approach #semantics #web #web service
Algebraic Approach to Linking the Semantics of Web Services (HZ, JH, JL, JPB), pp. 315–328.
FATES-2004-KapoorB #mutation testing #testing
Ordering Mutants to Minimise Test Effort in Mutation Testing (KK, JPB), pp. 195–209.
IFM-2000-Bowen #animation #hardware #logic programming #semantics #specification
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language (JPB), pp. 277–296.
DATE-1999-BreuerMBFLK #reasoning #semantics #using
Reasoning about VHDL and VHDL-AMS using Denotational Semantics (PTB, NMM, JPB, RBF, MMLP, CDK), pp. 346–352.
FME-1994-BowenH #formal method
Seven More Myths of Formal Methods (JPB, MGH), pp. 105–117.
FME-1993-BowenS #formal method #industrial #perspective #safety
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective (JPB, VS), pp. 183–195.
WSA-1992-BreuerB #decompiler #performance
Decompilation is the Efficient Enumeration of Types (PTB, JPB), pp. 255–273.
PLILP-1990-BowenJP #approach #compilation #prototype #specification
An Approach to Verifiable Compiling Specification and Prototyping (JPB, JH, PKP), pp. 45–59.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.