derek andrews - ACM Software

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.
2010 - ACM Yazılım Çözümleri Ltd.