دانلود کتاب Software Engineering 1: Abstraction and Modelling

ترجمه فارسی توضیحات (ترجمه ماشینی)

مهندسی نرم افزار 1: انتزاع و مدل سازی

از بررسی‌ها: “کتاب مورد بررسی اولین کتاب از مجموعه سه جلدی است که چارچوبی قانع‌کننده برای درک جامع‌تر دغدغه‌های رسمی و عملی مهندسی نرم‌افزار ارائه می‌دهد. ویژگی اصلی متمایزکننده این کتاب‌های درسی از سایر کتاب‌های فعلی این است که روش طبیعی که در آن تکنیک‌های رسمی به آرامی از طراحی نرم‌افزار به سمت مرحله تجویز نیازمندی‌ها و فراتر از آن به توصیف دامنه می‌روند. این کتاب با قوام و دقت خود، بدون شک برای توسعه‌دهندگان نرم‌افزار حرفه‌ای بسیار مفید است. (Tudor Balanescu، Zentralblatt MATH، جلد 1095 (21)، 2006”

Software Engineering 1: Abstraction and Modelling

From the reviews:”The book under review is the first one from a series of three volumes that provides a compelling framework for a more comprehensive understanding of both formal and practical concerns of software engineering. The major feature distinguishing these textbooks from other current ones is the natural manner in which the formal techniques smoothly glide from software design towards the requirements prescription phase and beyond to domain description. By its consistency and rigor, the book is, undoubtedly, remarkably useful to professional software developers. (Tudor Balanescu, Zentralblatt MATH, Vol. 1095 (21), 2006)”