Engineering Theories of Software Construction

The state of the art of software engineering techniques - being used in or required for current industrial tasks - shall be examined by world leading experts on the basis of sound mathematical foundations. Over the last thirty years the scientific foundation of programming has been developed for a broad spectrum of programming aspects. At the same time practical software engineering has entered many additional applications ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering, and further to computer networks distributed over wide-area hardware nets. For all these applications there is an urgent need to improve the software engineering techniques on the basis of sound scientific foundations. The book will present the state of the art in the area of mathematical foundations of software engineering. All engineering methods being presented are well understood in their theoretical substance. Now they are at the step towards practical applications.Hoare, Tony is the author of 'Engineering Theories of Software Construction' with ISBN 9781586031725 and ISBN 1586031724.