Engineering Theories of Software Construction
- Hoare, , Broy, B., Steinbrüggen, R.
- Pub. date
- January 2001
- 180 of NATO Science Series, III: Computer and Systems Sciences
- ISBN print
- Computer & Communication Sciences, Computer Science
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.