دانلود کتاب Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings – ادغام معنایی ضمنی و صریح در توسعه‌های مبتنی بر اثبات سیستم‌های گسسته: ارتباطات جلسات NII Shonan

دسته بندی : ,
اطلاعات کتاب
  • جلد
  • سری
  • ویرایش 1st ed.
  • سال 2021
  • نویسنده (گان) Yamine Ait-Ameur, Shin Nakajima, Dominique M⌐ry
  • ناشر Springer Singapore;Springer
  • زبان English
  • تعداد صفحات 345
  • حجم فایل 7.72MB
  • فرمت فایل pdf
  • شابک 9789811550539, 9789811550546
قیمت محصول :

۴۵,۰۰۰ تومان

با خرید این محصول، ۲,۲۵۰ تومان به کیف پول شما بازگشت داده می‌شود

روند خرید و دریافت کتاب‌ها بدون هیچ اختلالی انجام می‌شود.
تمامی فایل‌ها بر روی سرورهای داخلی میزبانی می‌شوند تا بتوانید به راحتی و در لحظه آن‌ها را دانلود کنید. در صورت بروز هرگونه مشکل یا نیاز به راهنمایی، لطفاً از طریق « صفحه تماس باما» با تیم پشتیبانی در ارتباط باشید.

تمامی کتاب های موجود در وبسایت سای وان به زبان انگلیسی میباشد
در صورتی که فرمت کتاب دریافتی mobi، azw3 ، epub یا djvu می باشد، جهت راهنمای مطالعه اینجا کلیک کنید.

پیشنهادهای مرتبط

محصولات مشابه

توضیحات

This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics.

The book is based on the discussions at the Shonan meeting on this topic held in 2016, and includes contributions from the participants summarising their perspectives on the problem and offering solutions. Divided into 5 parts: domain modelling, knowledge-based modelling, proof-based modelling, assurance cases, and refinement-based modelling, and offers inspiration for researchers and practitioners in the fields of formal methods, system and software engineering, domain knowledge modelling, requirement analysis, and explicit and implicit semantics of modelling languages.

————————————————————–

ترجمه ماشینی :

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

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

 

tag : دانلود کتاب ادغام معنایی ضمنی و صریح در توسعه‌های مبتنی بر اثبات سیستم‌های گسسته: ارتباطات جلسات NII Shonan , Download ادغام معنایی ضمنی و صریح در توسعه‌های مبتنی بر اثبات سیستم‌های گسسته: ارتباطات جلسات NII Shonan , دانلود ادغام معنایی ضمنی و صریح در توسعه‌های مبتنی بر اثبات سیستم‌های گسسته: ارتباطات جلسات NII Shonan , Download Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings Book , ادغام معنایی ضمنی و صریح در توسعه‌های مبتنی بر اثبات سیستم‌های گسسته: ارتباطات جلسات NII Shonan دانلود , buy ادغام معنایی ضمنی و صریح در توسعه‌های مبتنی بر اثبات سیستم‌های گسسته: ارتباطات جلسات NII Shonan , خرید کتاب ادغام معنایی ضمنی و صریح در توسعه‌های مبتنی بر اثبات سیستم‌های گسسته: ارتباطات جلسات NII Shonan , دانلود کتاب Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings , کتاب Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings , دانلود Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings , خرید Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings , خرید کتاب Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings ,

دیدگاهها

هیچ دیدگاهی برای این محصول نوشته نشده است.

اولین نفری باشید که دیدگاهی را ارسال می کنید برای “دانلود کتاب Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings – ادغام معنایی ضمنی و صریح در توسعه‌های مبتنی بر اثبات سیستم‌های گسسته: ارتباطات جلسات NII Shonan”