ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Software Engineering. Specification, Implementation, Verification

دانلود کتاب مهندسی نرم افزار. مشخصات، پیاده سازی، تایید

Software Engineering. Specification, Implementation, Verification

مشخصات کتاب

Software Engineering. Specification, Implementation, Verification

ویرایش:  
نویسندگان:   
سری:  
 
ناشر: Springer 
سال نشر: 2017 
تعداد صفحات: 186 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Software Engineering. Specification, Implementation, Verification به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب مهندسی نرم افزار. مشخصات، پیاده سازی، تایید

این کتاب یک رویکرد رسمی برای آموزش مهندسی نرم افزار دارد و نه تنها از UML، بلکه از زبان محدودیت شی (OCL) برای تعیین مشخصات و تجزیه و تحلیل مدل های طراحی شده استفاده می کند. نویسنده با استفاده از جزئیات فنی که معمولاً در کتاب‌های درسی موجود در زمینه مهندسی نرم‌افزار وجود ندارد، نشان می‌دهد که چگونه مشخصات دقیق منجر به تأیید استاتیک سیستم‌های نرم‌افزاری می‌شود. علاوه بر این، به مدیریت داده ها توجه لازم برای تولید یک پروژه نرم افزاری موفق داده می شود.

؟از محدودیت ها در تمام مراحل توسعه نرم افزار استفاده می کند
پیگیری پیشرفت های اخیر در فناوری های نرم افزار
پوشش فنی مسائل مربوط به مدیریت داده ها و تأیید نرم افزار
تصویر شده در سراسر تا تجزیه و تحلیل، مشخصات، پیاده سازی و تأیید برنامه های متعدد
شامل تمرین های پایان فصل و اسلایدهای ارائه مربی


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

This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is given the attention that is required in order to produce a successful software project.

?Uses constraints in all phases of software development
Follows recent developments in software technologies
Technical coverage of data management issues and software verification
Illustrated throughout to present analysis, specification, implementation and verification of multiple applications
Includes end-of-chapter exercises and Instructor Presentation Slides





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی