Derek Andrews

Derek Andrews is a software specialist, researcher and author. He is a world-renowned technical expert who has taken a part in the creation of programming languages and software development processes, and has served as a consultant to many different well known companies. Derek Andrew’s publications include:

– A Theory and Practice of Program Development,
– Semantics of Specification Languages,
– Practical Formal Methods with VDM,
– Formal Methods in Standards: A Report from the BCS Working Group,
– The Software Life Cycle.