9 May 2013
Formalism and Intuition in Software Development".
Meeting Room 10, 2nd Floor, JLB
12:30pm - 13:45pm
Speaker(s): Prof Michael Jackson
"Henri Poincare recognised the importance of two tools of human intellect: science and intuition. In software development we may recognise them in formal and informal techniques and approaches. This talk briefly discusses their different natures and virtues, and suggests a relationship in which each can play its part most effectively."
Save to your Calendar