Formal Methods and Models for System Design

Current practice in system modeling relies upon exploiting high-level programming frameworks, such as SystemC, EstereI, to capture design at increasingly higher levels of ab straction and attempts to reduce the system implementation task.

From the reviews: "This book explores various formal methods and models that can be used to manage the complexity ... . This quite readable and self-contained monograph demonstrates some of the recent efforts made to address a very important issue, that is how to effectively and efficiently practice system design ... . This is certainly an excellent reference book for system design practitioners and a very good example for those applied mathematicians who look for ways to apply their knowledge to solve practical problems." (Zhizhang Shen, Zentralblatt MATH, Vol. 1061 (12), 2005)