testimonials
contact us
about us
partners
site map
courses
clients
home
news
links

 

SOA & UML course in Stockport
(near Manchester)

22nd September 2008


Web Usability Patterns Site


Web Usability Products & Services

A comprehensive tutorial on UML





      
your requirementscustom solutionsexpert helpwhitepapers

  Derek Andrews 

   
  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

 
about Derek | CV | specialist areas | books | research papers
email us  or  tel  UK:  01625 850 839  international:  +44 1625 850 839