دانلود کتاب Software Engineering 1: Abstraction and Modelling
49,000 تومان
مهندسی نرم افزار 1: انتزاع و مدل سازی
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 735 |
| حجم فایل | 10 مگابایت |
| کد کتاب | 3540211497,9783540211495 |
| نویسنده | Dines Bjørner |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 2006 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
مهندسی نرم افزار 1: انتزاع و مدل سازی
هنر، هنر، انضباط، منطق، تمرین، و علم توسعه محصولات نرمافزاری در مقیاس بزرگ به پایگاهی قابل باور و حرفهای نیاز دارد. کتابهای درسی این مجموعه سه جلدی، تمرین غیررسمی و مهندسی را با سختگیری رویکردهای رسمی و مبتنی بر ریاضیات ترکیب میکنند. جلد 1 اصول و تکنیک های اساسی انتزاع و مدل سازی روش های رسمی را پوشش می دهد. ابتدا این کتاب پایهای صحیح اما ساده از بینش ریاضیات گسسته ارائه میکند: اعداد، مجموعهها، دکارتیها، انواع، توابع، حساب لامبدا، جبرها و منطق ریاضی. سپس خوانندگان خود را در اصول و تکنیک های مشخصات اولیه دارایی و مدل گرا آموزش می دهد. مفاهیم مدل گرا که در زبان های خصوصی مانند B، VDM-SL و Z مشترک هستند، در اینجا با استفاده از زبان مشخصات RAISE (RSL) توضیح داده شده اند. این کتاب سپس اصول اولیه برنامه نویسی با مشخصات کاربردی (عملکردی)، ضروری و همزمان (موازی) را پوشش می دهد. در نهایت، این جلد شامل واژه نامه جامع مهندسی نرم افزار، و فهرست ها و مراجع گسترده است. این مجلدات برای خودآموزی توسط مهندسان نرم افزار مجرب و برای استفاده در دوره های کارشناسی و کارشناسی ارشد دانشگاه در زمینه مهندسی نرم افزار مناسب است. استادان با یک راهنمای جامع برای طراحی ماژولها بر اساس کتابهای درسی، راهحلهایی برای بسیاری از تمرینهای ارائهشده، و مجموعه کاملی از اسلایدهای سخنرانی پشتیبانی میشوند.
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its readers in basic property- and model-oriented specification principles and techniques. The model-oriented concepts that are common to such specification languages as B, VDM-SL, and Z are explained here using the RAISE specification language (RSL). This book then covers the basic principles of applicative (functional), imperative, and concurrent (parallel) specification programming. Finally, the volume contains a comprehensive glossary of software engineering, and extensive indexes and references. These volumes are suitable for self-study by practicing software engineers and for use in university undergraduate and graduate courses on software engineering. Lecturers will be supported with a comprehensive guide to designing modules based on the textbooks, with solutions to many of the exercises presented, and with a complete set of lecture slides.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.