This book makes the mathematical foundations of formal methods accessible to both students and professionals, emphasizing the importance of mathematics in software engineering. The later chapters are motivated by practical examples and exercises, ranging from simple drills to advanced topics. The first four chapters introduce formal systems, propositional and predicate calculi, and general theories. The second part builds on these foundations, exploring sets, relations, functions, and sequences in detail. The mathematical data types discussed are robust enough to model various software system aspects, illustrated through small case studies on a configuration manager, a storage allocator, and a simple backing store interface, all using the Z notation. The third part features two in-depth case studies demonstrating the application of mathematics in software engineering: one on the specification of a telephone exchange's behavior and another highlighting the significance of developing a mathematical theory for system understanding. Both case studies emphasize modeling and proof in specification construction. The final section presents an algebraic approach to specification and summarizes various formal techniques, providing a comprehensive overview of the subject.
Janet Woodcock Books
