ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

دانلود کتاب در مورد ریاضیات مدل سازی ، متامدلینگ ، هستی شناسی و زبانهای مدل سازی

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

مشخصات کتاب

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

دسته بندی: برنامه نويسي
ویرایش: 1 
نویسندگان:   
سری: SpringerBriefs in Computer Science 
ISBN (شابک) : 3642298249, 9783642298257 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2012 
تعداد صفحات: 118 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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



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



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

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


در صورت تبدیل فایل کتاب On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب در مورد ریاضیات مدل سازی ، متامدلینگ ، هستی شناسی و زبانهای مدل سازی



محاسبات به عنوان یک رشته به سرعت در حال رشد است. با این حال، با بلوغ، اغلب رشته‌های فرعی زیادی به وجود می‌آیند که با گذشت زمان، می‌توانند انزواگرا شوند. زیرشاخه های مدل سازی، فرامدل سازی، هستی شناسی ها و زبان های مدل سازی در مهندسی نرم افزار به عنوان مثال. تا حدی به طور جداگانه و بدون هیچ گونه فرمالیسم زیربنایی تکامل یافته اند.

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

این ارائه جامع و دقیق از پیشرفته‌ترین رویکردهای مدل‌سازی عمدتاً با هدف ارائه می‌شود. محققان دانشگاه و صنعت آن‌ها بحث اصولی زیرشاخه‌های مختلف را بسیار مفید خواهند یافت و ممکن است از رویکرد وحدت‌بخش به عنوان نقطه شروعی برای تحقیقات آینده استفاده کنند.

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

Computing as a discipline is maturing rapidly. However, with maturity often comes a plethora of subdisciplines, which, as time progresses, can become isolationist. The subdisciplines of modelling, metamodelling, ontologies and modelling languages within software engineering e.g. have, to some degree, evolved separately and without any underpinning formalisms.

Introducing set theory as a consistent underlying formalism, Brian Henderson-Sellers shows how a coherent framework can be developed that clearly links these four, previously separate, areas of software engineering. In particular, he shows how the incorporation of a foundational ontology can be beneficial in resolving a number of controversial issues in conceptual modelling, especially with regard to the perceived differences between linguistic metamodelling and ontological metamodelling. An explicit consideration of domain-specific modelling languages is also included in his mathematical analysis of models, metamodels, ontologies and modelling languages.

This encompassing and detailed presentation of the state-of-the-art in modelling approaches mainly aims at researchers in academia and industry. They will find the principled discussion of the various subdisciplines extremely useful, and they may exploit the unifying approach as a starting point for future research.


فهرست مطالب

Front Matter....Pages i-ix
Introduction....Pages 1-10
Mathematics for Modelling....Pages 11-30
Models....Pages 31-39
Metamodels....Pages 41-45
Ontologies....Pages 47-62
Modelling Languages....Pages 63-74
Linking Models, Metamodels, Ontologies and Modelling Languages....Pages 75-93
Other Related Work and Further Discussion....Pages 95-95
Conclusions and Further Work....Pages 97-98
Back Matter....Pages 99-106




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