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:
– Semantics of Specification Languages,
– Practical Formal Methods with VDM,
– Formal Methods in Standards: A Report from the BCS Working Group,
– The Software Life Cycle.