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 × France
1 × Germany
Collaborated with:
T.Kim S.D.Cha S.Stepney I.Wand S.Owre J.M.Rushby N.Shankar
Talks about:
pvs (3) use (2) properti (1) function (1) softwar (1) specif (1) requir (1) report (1) formal (1) experi (1)

Person: David W. J. Stringer-Calvert

DBLP DBLP: Stringer-Calvert:David_W=_J=

Contributed to:

TACAS 20022002
FM-Trends 19981998
FME 19971997

Wrote 3 papers:

TACAS-2002-KimSC #functional #requirements #specification #using #verification
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS (TK, DWJSC, SDC), pp. 205–220.
FM-1998-OwreRSS #case study #experience #named
PVS: An Experience Report (SO, JMR, NS, DWJSC), pp. 338–345.
FME-1997-Stringer-CalvertSW #case study #refinement #using
Using PVS to Prove a Z Refinement: A Case Study (DWJSC, SS, IW), pp. 573–588.

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.