Skip to main content

Software Engineering Mathematics

Professor Jean-Raymond Abrial ( Swiss Federal Institute of Technology, Zurich )
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.

Share this: