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 × Canada
1 × The Netherlands
1 × USA
Collaborated with:
W.R.Bevier D.I.Good
Talks about:
mathemat (2) method (2) conflict (1) softwar (1) develop (1) analysi (1) versus (1) verifi (1) system (1) memori (1)

Person: William D. Young

DBLP DBLP: Young:William_D=

Contributed to:

FME 19971997
ISSTA 19911991
ISSTA 19891989
VDM Europe (2) 19911991

Wrote 5 papers:

FME-1997-YoungB #analysis #memory management #modelling
Mathematical Modeling and Analysis of an External Memory Manager (WDY, WRB), pp. 237–257.
TAV-1991-Young #formal method #question #re-engineering
Formal Methods versus Software Engineering: Is There a Conflict? (WDY), pp. 188–189.
TAV-1989-Young #compilation
Verified Compilation in micro-Gypsy (WDY), pp. 20–26.
VDME-1991-GoodY #development
Mathematical Methods for Digital Systems Development (DIG, WDY), pp. 406–430.

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.