Derek Andrews

papers

An exercise in modelling, Information and Software Technology, 38:323--332, 1996

Preconditioners for the adaptive hp version finite element method, with M. Ainsworth and B. Senior, in The Mathematics of Finite Elements and Applications, J. R. Whiteman, ed., pp 81--92, 1997

Programming and Programming Languages, in Programming language choice: practice and experience, Mark Woodman, ed., International Thomson Computer Press (1996), pp 255--276

Formal Methods in Software Engineering Education, in Software Engineering: Education & Practice, Martin Purvis, ed. , IEEE Computer Society Press (1996) , pp 514--515.

Formal Methods and Software Development, in Software Engineering: Education & Practice, Martin Purvis, ed., IEEE Computer Society Press (1996), pp 106--113

A case study of a difficult refinement: A fast dictionary for a spell checking program, with D. Ince, Information and Software Technology, pp 37:671--680, 1995.

Transformational Data Refinement and VDM, with D. Ince, Information and Software Technology, pp 37:637--651, 1995.

Specification Aspects of VDM, in Software Engineering: A European Perspective, R. H. Thayer and A. D. McGettrick (eds.), IEEE Computer Society Press (1992), pp 320--332.

The Vienna development method, in The Software Life Cycle, D. Andrews & D. Ince, Butterworths (1990), pp 175-251

The Specification Aspects of VDM, Information and Software Technology, Vol 30, April 1988, pp 164-176

Report from the BSI panel for the standardization of VDM (IST/5/50), in VDM - The Way Ahead, pp 74--78, R. Bloomfield and R. B. Jones and L. S. Marshall, (eds.), Springer-Verlag (1988)

The Formal Definition of Modula-2 and its Associated Interpreter, with A. Garg, S. P. A. Lau, J. R. Pitchers, in VDM - The Way Ahead, pp 74--78, R. Bloomfield and R. B. Jones and L. S. Marshall (eds.), Springer-Verlag (1988)

Data Reification and Program Decomposition, in VDM - A Formal Method at Work, D. Bjørner & C Jones (eds.), Springer-Verlag, pp 389-422

Overview of software engineering, Data Processing (March 1986), pp 64-78

Pascal, with W. Henhapl, in Formal Specification & Software Development Ed. D Bjørner & C Jones, Prentice Hall (1982), pp 175-251