| |
| research 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
|
|
|
