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 × United Kingdom
2 × USA
Collaborated with:
R.Chapman P.Courtieu M.Aponte T.Crolard Z.Zhang Robby J.Belt J.Hatcliff J.Guitton
Talks about:
spark (3) explicit (1) toolset (1) softwar (1) languag (1) toward (1) semant (1) formal (1) engin (1) check (1)

Person: Trevor Jennings

DBLP DBLP: Jennings:Trevor

Contributed to:

HILT 20132013
Ada-Europe 20112011
SIGAda 20092009

Wrote 3 papers:

HILT-2013-CourtieuACZRBHG #coq #formal method #runtime #semantics #towards #using
Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq (PC, MVA, TC, ZZ, R, JB, JH, JG, TJ), pp. 21–22.
OOT, DO-178C and SPARK (RC, TJ), pp. 206–210.
SIGAda-2009-Jennings #named #re-engineering #tool support
SPARK: the libre language and toolset for high-assurance software engineering (TJ), pp. 9–10.

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.