In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a fo

Based around a theme of the construction of a game engine, this textbook is for final year undergraduate and graduate students, emphasising formal methods in wr

The best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of