برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Formal Specification and Design

دانلود کتاب مشخصات و طراحی رسمی

مشخصات کتاب

Formal Specification and Design

دسته بندی: کامپیوتر
ویرایش:  
نویسندگان: L. M. G. Feijs,  H. B. M. Jonkers  
سری: Cambridge Tracts in Theoretical Computer Science 35 
ISBN (شابک) : 0521434572 
ناشر: Cambridge University Press 
سال نشر: 2005 
تعداد صفحات: 351 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 51,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 6

در صورت تبدیل فایل کتاب Formal Specification and Design به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مشخصات و طراحی رسمی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مشخصات و طراحی رسمی

مشخصات رسمی روشی برای مدل‌سازی دقیق سیستم‌های مبتنی بر رایانه است که مفاهیم مهندسی نرم‌افزار و منطق ریاضی را ترکیب می‌کند. در این کتاب نویسندگان تکنیک‌های مشخصات جبری و مبتنی بر حالت را از دیدگاه یکپارچه زبان شی گرا مشترک برای طراحی، COLD، زبانی با طیف گسترده در سنت VDM و Z توصیف می‌کنند. زبان هسته به تفصیل توضیح داده شده است. با مثال‌های فراوان، از جمله: نمایش مجموعه، یک دستگاه نمایشگر، یک سیستم پایگاه داده شبیه INGRES و یک ویرایشگر خط. تکنیک‌های بنیادی مانند معناشناسی جبر اولیه، معناشناسی آزاد، توابع جزئی، پنهان‌سازی، اشتراک‌گذاری، منطق محمول و پویا، توابع انتزاع، نمایش متغیرها و صحت جعبه سیاه نیز ارائه شده‌اند. ایده های پیشرفته تر، به عنوان مثال منطق هورن، و سیستم های بزرگ در قسمت پایانی آورده شده است. ضمائم حاوی جزئیات کامل نحو زبان و یک کتابخانه مشخصات هستند. تکنیک‌های توسعه و طراحی نرم‌افزار در سرتاسر مورد تأکید قرار گرفته‌اند، بنابراین این کتاب یک انتخاب عالی برای دوره‌هایی در این زمینه‌ها خواهد بود.

توضیحاتی درمورد کتاب به خارجی

Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas.