دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Ivan Jureta (auth.)
سری:
ISBN (شابک) : 9783319188201, 9783319188218
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 285
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 13 مگابایت
کلمات کلیدی مربوط به کتاب طراحی الزامات مدل سازی زبان ها: چگونگی شکل دادن رسمی به حل مسئله در مهندسی الزامات: مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب 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