مشخصات کتاب

Software Engineering 1: Abstraction and Modelling

ویرایش: 2006 
نویسندگان: Dines Bjørner  
سری: Texts in Theoretical Computer Science. An EATCS Series 
ISBN (شابک) : 3540211497, 9783540211495 
ناشر: Springer 
سال نشر: 2006 
تعداد صفحات: 753 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 43 مگابایت 

در صورت تبدیل فایل کتاب Software Engineering 1: Abstraction and Modelling به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب مهندسی نرم افزار 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.

فهرست مطالب

Front Matter....Pages 1-1
Introduction....Pages 3-42
Front Matter....Pages 43-43
Numbers....Pages 45-54
Sets....Pages 55-61
Cartesians....Pages 63-70
Types....Pages 71-85
Functions....Pages 87-108
A λ-Calculus....Pages 109-125
Algebras....Pages 127-140
Mathematical Logic....Pages 141-199
Front Matter....Pages 201-204
Atomic Types and Values in RSL....Pages 205-219
Function Definitions in RSL....Pages 221-230
Property-Oriented and Model-Oriented Abstraction....Pages 231-262
Sets in RSL....Pages 263-293
Cartesians in RSL....Pages 295-319
Lists in RSL....Pages 321-347
Maps in RSL....Pages 349-392
Higher-Order Functions in RSL....Pages 393-409
Front Matter....Pages 411-411
Types in RSL....Pages 413-425
Front Matter....Pages 427-428
Applicative Specification Programming....Pages 429-466
Imperative Specification Programming....Pages 467-510
Front Matter....Pages 427-428
Concurrent Specification Programming....Pages 511-554
Front Matter....Pages 555-555
Etcetera!....Pages 557-560

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

کتاب های تصادفی

دانلود کتاب Mastering Embedded Linux Programming

دانلود کتاب Concise Computer Vision: An Introduction into Theory and Algorithms

دانلود کتاب The making of a Christian empire: Lactantius & Rome

دانلود کتاب Geographic Variation, Speciation and Clines

دانلود کتاب You're a Star: A Child's Guide to Self-Esteem