DEREK ANDREWS
Derek Andrews, bir çok kitaba ve araştırmaya imza atmış değerli bir yazılım uzmanıdır.
Derek Andrews, aralarında IBM'in de bulunduğu bir çok şirkette danışman olarak görev
almış, programlama dilleri ve yazılım geliştirme süreçlerine ait bir çok standardın
oluşturulmasında görev almış dünyaca ünlü bir teknik uzmandır. Derek Andrews'ın
yazmış olduğu bazı kitaplar şöyledir:
- 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.
