System and Software Engineering
by
Jean-Raymond Abrial
Language: English
Release Date: May 13, 2010
A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to...