E. J. Younger

Publication Activity (10 Years)

Years Active: 1992-1997
Publications (10 Years): 0

Publications

E. J. Younger, Keith H. Bennett, Z. Luo
A Formal Transformation and Refinement Method for Concurrent Programs. ICSM (1997)
Cornelia Boldyreff, Elizabeth Burd, R. M. Hather, Malcolm Munro, E. J. Younger
Greater Understanding Through Maintainer Driven Traceability. WPC (1996)
E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull
Reverse Engineering Concurrent Programs using Formal Modelling and Analysis. ICSM (1996)
E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull
Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis. WCRE (1996)
Cornelia Boldyreff, Elizabeth Burd, R. M. Hather, Richard Eric Mortimer, Malcolm Munro, E. J. Younger
The AMES approach to application understanding: a case study. ICSM (1995)
Tim M. Bull, E. J. Younger, Keith H. Bennett, Z. Luo
Bylands: reverse engineering safety-critical systems. ICSM (1995)
E. J. Younger, M. P. Ward
Inverse-engineering a simple real-time program. J. Softw. Maintenance Res. Pract. 6 (4) (1994)
E. J. Younger, Keith H. Bennett
Model-based tools to record program understanding. WPC (1993)
E. J. Younger, Keith H. Bennett, R. Hartley-Davies
A Model for a Broadband Cellular Wireless Network for Digital Communications. Comput. Networks ISDN Syst. 26 (4) (1993)
E. J. Younger, Keith H. Bennett
Functional approach to mathematical model of naming. Inf. Softw. Technol. 34 (3) (1992)