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