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 × Ireland
1 × USA
1 × United Kingdom
Collaborated with:
J.Kanig C.Comar J.Guitton Y.Moy E.Rees V.Klebanov P.Müller N.Shankar G.T.Leavens V.Wüstholz E.Alkassar R.Arthan D.Bronish E.Cohen M.A.Hillebrand B.Jacobs K.R.M.Leino R.Monahan F.Piessens N.Polikarpova T.Ridge J.Smans S.Tobies T.Tuerk M.Ulbrich B.Weiß
Talks about:
construct (2) softwar (2) explicit (1) competit (1) program (1) correct (1) assumpt (1) verifi (1) static (1) report (1)

Person: Rod Chapman

DBLP DBLP: Chapman:Rod

Contributed to:

TAP 20142014
FM 20112011
SIGAda 20072007

Wrote 4 papers:

TAP-2014-KanigCCGMR #verification
Explicit Assumptions — A Prenup for Marrying Static and Dynamic Program Verification (JK, RC, CC, JG, YM, ER), pp. 142–157.
FM-2011-KlebanovMSLWAABCCHJLMPPRSTTUW #case study #contest #experience
The 1st Verified Software Competition: Experience Report (VK, PM, NS, GTL, VW, EA, RA, DB, RC, EC, MAH, BJ, KRML, RM, FP, NP, TR, JS, ST, TT, MU, BW), pp. 154–168.
SIGAda-2007-Chapman #named #security
MF1: security by construction (RC), pp. 5–6.
SIGAda-2007-Chapman07a #correctness
Correctness by construction: putting engineering (back) into software (RC), p. 100.

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.