Derek Andrews

• Computing for non-scientific applications
• A theory and practice of program development
• Formal methods in standards
• Practical formal methods with VDM
• The Software life cycle
• Accelerating Pace of Change to Our Troubled World
• Semantics of Specification Languages (Sosl): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlan (Communications and Control Engineering Series)