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

   
  books




A Theory and Practice of Program Development
, Springer-Verlag (1997)
Semantics of Specification Languages (Sosl : Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands), with J. F. Groote, C. A. Middleburg (ed.), Springer-Verlag (1994)
Practical Formal Methods with VDM, with Darrel Ince, McGraw-Hill (1991)
Formal Methods in Standards: A Report from the BCS Working Group, with D. Blyth, C. Boldreff, D. Duce, P. Hall, R. Neely, C. Ruggles (ed), N. Tetteh-Lartey, R. Thomas and A. Wrightson et al, Springer-Verlag (1990)
The Software Life Cycle, with Darrel Ince (eds), Butterworth Verlag (1991)
Operation Decomposition, with Peter Gibbins, part of An Introduction to Formal Methods of Software Development, The Open University Press (1988)
Data Refinement, part of An Introduction to Formal Methods of Software Development, The Open University Press (1988)
Representing Data, part of An Introduction to Formal Methods of Software Development, The Open University Press (1988)
What is Formal Specifications, part of An Introduction to Formal Methods of Software Development, The Open University Press (1988)
Computers for Non-Scientific Applications, with M. Greehalgh, Leicester University Press (1987)

 
email us  or  tel  UK:  01625 850 839  international:  +44 1625 850 839