Software Engineering Mathematics
Professor Jean-Raymond Abrial ( Swiss Federal Institute of Technology, Zurich )
- 16:30 18th January 2005 ( week 2, Hilary Term 2005 )Lecture Theatre
In this talk, the basic mathematical requirements needed to formally construct and prove complex software systems are presented. It will be illustrated with an example dealing with distributed computations.