Travelled to:1 × France
1 × Germany
2 × USA
Collaborated with:K.H.Bennett Z.Luo T.M.Bull C.Boldyreff E.Burd R.M.Hather M.Munro R.E.Mortimer
Talks about:program (3) concurr (3) revers (3) formal (3) engin (3) understand (2) analysi (2) model (2) use (2) transform (1)
Person: E. J. Younger
DBLP: Younger:E=_J=
Contributed to:
19971996
1996
19961995Wrote 6 papers:
- ICSM-2000-YoungerBL #concurrent #refinement #source code
- A Formal Transformation and Refinement Method for Concurrent Programs (EJY, KHB, ZL), p. 287–?.
- ICSM-1996-YoungerLBB #analysis #concurrent #formal method #modelling #reverse engineering #source code #using
- Reverse Engineering Concurrent Programs using Formal Modelling and Analysis (EJY, ZL, KHB, TMB), pp. 255–264.
- WCRE-1996-YoungerLBB #analysis #concurrent #formal method #modelling #reverse engineering #source code #using
- Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis (EJY, ZL, KHB, TMB), pp. 239–248.
- WPC-1996-BoldyreffBHMY #comprehension #maintenance #traceability
- Greater Understanding Through Maintainer Driven Traceability (CB, EB, RMH, MM, EJY), p. 100–?.
- ICSM-1995-BoldyreffBHMMY #approach #case study #comprehension
- The AMES approach to application understanding: a case study (CB, EB, RMH, REM, MM, EJY), pp. 182–191.
- ICSM-1995-BullYBL #named #reverse engineering #safety
- Bylands: reverse engineering safety-critical systems (TMB, EJY, KHB, ZL), pp. 358–366.