Tahun : 2010 Pengarang : Gabriela Nicolescu and Pieter J. Mosterman Penerbit : CRC Press Taylor & Francis Group Ket : This book provides a compilation of the work of internationally
renowned authors on Model-Based Design. Each chapter contributes
supreme results that have helped establish Model-Based Design and that
continue to expand its barriers. The respective authors excel in their expertise on the automation of design refinement and how to relate properties
throughout this refinement while enabling analytic and synthetic qualities.
We are delighted and honored by their participation in the effort that led to
this book, and we sincerely hope that the readers will find the indulgence of
intellectual achievement as enjoyable and stimulating as we do. Ketegori : SYSTEM ANALYSIS AND DESIGN