Program Design by Calculation

This textbook in preparation has arisen from the author’s research and teaching experience. Its main aim is to provide software practitioners with a calculational approach to the design of software artifacts ranging from simple algorithms and functions to the specification and realization of information systems. Put in other words, the book invites software designers to raise standards and adopt mature development techniques found in other engineering disciplines, which (as a rule) are rooted on a sound mathematical basis so as to enable algebraic reasoning.