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: Young:William_D=
Contributed to:
1997
19911989
1991Wrote 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.