ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب The Design of Requirements Modelling Languages: How to Make Formalisms for Problem Solving in Requirements Engineering

دانلود کتاب طراحی الزامات مدل سازی زبان ها: چگونگی شکل دادن رسمی به حل مسئله در مهندسی الزامات

The Design of Requirements Modelling Languages: How to Make Formalisms for Problem Solving in Requirements Engineering

مشخصات کتاب

The Design of Requirements Modelling Languages: How to Make Formalisms for Problem Solving in Requirements Engineering

ویرایش: 1 
نویسندگان:   
سری:  
ISBN (شابک) : 9783319188201, 9783319188218 
ناشر: Springer International Publishing 
سال نشر: 2015 
تعداد صفحات: 285 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 13 مگابایت 

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



کلمات کلیدی مربوط به کتاب طراحی الزامات مدل سازی زبان ها: چگونگی شکل دادن رسمی به حل مسئله در مهندسی الزامات: مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، منطق و معانی برنامه ها



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

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


در صورت تبدیل فایل کتاب The Design of Requirements Modelling Languages: How to Make Formalisms for Problem Solving in Requirements Engineering به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب طراحی الزامات مدل سازی زبان ها: چگونگی شکل دادن رسمی به حل مسئله در مهندسی الزامات



این کتاب به تفصیل نحوه تعریف زبان‌های مدل‌سازی نیازمندی‌ها را توضیح می‌دهد - زبان‌های رسمی که برای حل مشکلات مربوط به نیاز در مهندسی نیازمندی‌ها استفاده می‌شوند. این کتاب از زبان‌های ساده به زبان‌های پیچیده‌تر حرکت می‌کند و از این زبان‌ها برای نشان دادن بحثی درباره موضوعات اصلی در طراحی زبان مدل‌سازی نیازمندی‌ها استفاده می‌کند.

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

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


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

This book explains in detail how to define requirements modelling languages – formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages to more complicated ones and uses these languages to illustrate a discussion of major topics in requirements modelling language design.

The book positions requirements problem solving within the framework of broader research on ill-structured problem solving in artificial intelligence and engineering in general. Further, it introduces the reader to many complicated issues in requirements modelling language design, starting from trivial questions and the definition of corresponding simple languages used to answer them, and progressing to increasingly complex issues and languages. In this way the reader is led step by step (and with the help of illustrations) to learn about the many challenges involved in designing modelling languages for requirements engineering.

The book offers the first comprehensive treatment of a major challenge in requirements engineering and business analysis, namely, how to design and define requirements modelling languages. It is intended for researchers and graduate students interested in advanced topics of requirements engineering and formal language design.



فهرست مطالب

Front Matter....Pages i-xii
Requirements Problem Solving....Pages 1-7
Problem-Solving Automation with Artificial Intelligence....Pages 9-19
Problem and Solution Concepts in Requirements Engineering....Pages 21-28
Introduction to Requirements Modeling Languages....Pages 29-59
Requirements Problem-Solving Cases....Pages 61-71
Checklists, Templates, and Services for Requirements Modeling Language Design....Pages 73-76
Relations....Pages 77-117
Guidelines....Pages 119-130
Categories....Pages 131-145
Valuation....Pages 147-169
Uncertainty....Pages 171-185
Alternatives....Pages 187-222
Constraints....Pages 223-237
Preferences....Pages 239-265
Links to Formal Logic....Pages 267-274
Back Matter....Pages 275-286




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