دانلود کتاب Design Pattern Formalization Techniques

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

تکنیک های رسمی سازی الگوی طراحی

بسیاری از رویکردهای رسمی برای مشخصات الگو به عنوان وسیله ای برای مقابله با کاستی های ذاتی توصیف غیررسمی در حال ظهور هستند. تکنیک‌های رسمی‌سازی الگوی طراحی، رویکردهای ریاضی و رسمی متعددی را برای مشخصات الگو، با تاکید بر فرآیندهای توسعه نرم‌افزار برای رشته‌های مهندسی ارائه می‌کند. تکنیک های رسمی سازی الگوی طراحی بر رسمی کردن عنصر راه حل الگوها، ارائه مزایای ملموس برای کاربران الگو، محققان، محققان، دانشگاهیان، متخصصان و دانشجویانی که در زمینه الگوهای طراحی و استفاده مجدد از نرم افزار کار می کنند، تمرکز دارد. روش‌های رسمی‌سازی الگوی طراحی جزئیات چندین زبان مشخصات را توضیح می‌دهد و به خوانندگان این امکان را می‌دهد تا مناسب‌ترین تکنیک رسمی را برای حل سؤالات خاص خود انتخاب کنند.

Design Pattern Formalization Techniques

Many formal approaches for pattern specification are emerging as a means to cope with the inherent shortcomings of informal description. Design Pattern Formalization Techniques presents multiple mathematical, formal approaches for pattern specification, emphasizing on software development processes for engineering disciplines. Design Pattern Formalization Techniques focuses on formalizing the solution element of patterns, providing tangible benefits to pattern users, researchers, scholars, academicians, practitioners and students working in the field of design patterns and software reuse. Design Pattern Formalization Techniques explains details on several specification languages, allowing readers to choose the most suitable formal technique to solve their specific inquiries.