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.