دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
دانلود کتاب ادغام معنایی ضمنی و صریح در توسعه‌های مبتنی بر اثبات سیستم‌های گسسته: ارتباطات جلسات NII Shonan
مشخصات کتاب
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
ویرایش: 1st ed. نویسندگان: Yamine Ait-Ameur, Shin Nakajima, Dominique Méry سری: ISBN (شابک) : 9789811550539, 9789811550546 ناشر: Springer Singapore;Springer سال نشر: 2021 تعداد صفحات: 345 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 51,000
کلمات کلیدی مربوط به کتاب ادغام معنایی ضمنی و صریح در توسعه‌های مبتنی بر اثبات سیستم‌های گسسته: ارتباطات جلسات NII Shonan: علوم کامپیوتر، مهندسی نرم افزار، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ادغام معنایی ضمنی و صریح در توسعه‌های مبتنی بر اثبات سیستم‌های گسسته: ارتباطات جلسات NII Shonan نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ادغام معنایی ضمنی و صریح در توسعه‌های مبتنی بر اثبات سیستم‌های گسسته: ارتباطات جلسات NII Shonan
این کتاب به مکانیسم‌هایی برای کاهش ناهمگونی مدل ناشی از عدم وجود بیان معنایی صریح در تکنیک‌های رسمی مورد استفاده برای مشخص کردن مدل‌های طراحی می‌پردازد. به‌طور دقیق‌تر، پیشرفت‌ها در مدیریت هر دو معناشناسی ضمنی و صریح در تحولات سیستم رسمی را برجسته می‌کند، و مشارکت‌های مختلف را مورد بحث قرار می‌دهد که دیدگاه‌ها و برداشت‌های متفاوتی را درباره معناشناسی ضمنی و آشکار بیان می‌کند.
این کتاب بر اساس بحث‌های موجود در این مقاله است. نشست شونان در مورد این موضوع در سال 2016 برگزار شد و شامل مشارکت های شرکت کنندگان است که دیدگاه های خود را در مورد این مشکل خلاصه می کنند و راه حل هایی را ارائه می دهند. به 5 بخش تقسیم می‌شود: مدل‌سازی دامنه، مدل‌سازی مبتنی بر دانش، مدل‌سازی مبتنی بر اثبات، موارد اطمینان، و مدل‌سازی مبتنی بر پالایش، و الهام‌بخش محققان و متخصصان در زمینه‌های روش‌های رسمی، مهندسی سیستم و نرم‌افزار، مدل‌سازی دانش دامنه، تجزیه و تحلیل نیازمندی‌ها، و معناشناسی صریح و ضمنی زبان‌های مدل‌سازی.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
Front Matter ....Pages i-xii
Front Matter ....Pages 1-1
Modelling an E-Voting Domain for the Formal Development of a Software Product Line: When the Implicit Should Be Made Explicit (J. Paul Gibson, Jean-Luc Raffy)....Pages 3-18
Domain-Specific Developments Using Rodin Theories (Thai Son Hoang, Laurent Voisin, Michael Butler)....Pages 19-37
Integrating Domain Modeling Within a Formal Requirements Engineering Method (Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier)....Pages 39-58
Front Matter ....Pages 59-59
Operations over Lightweight Ontologies and Their Implementation (Marco A. Casanova, Rômulo C. Magalhães)....Pages 61-82
Formal Ontological Analysis for Medical Protocols (Neeraj Kumar Singh, Yamine Ait-Ameur, Dominique Méry)....Pages 83-107
Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems (Inna Vistbakka, Elena Troubitsyna)....Pages 109-130
Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns (Klaus-Dieter Schewe, Qing Wang)....Pages 131-151
Front Matter ....Pages 153-153
An Explicit Semantics for Event-B Refinements (Pierre Castéran)....Pages 155-173
Contextual Dependency in State-Based Modelling (Souad Kherroubi, Dominique Méry)....Pages 175-197
Configuration of Complex Systems—Maintaining Consistency at Runtime (Azadeh Jahanbanifar, Ferhat Khendek, Maria Toeroe)....Pages 199-224
Front Matter ....Pages 225-225
Towards Making Safety Case Arguments Explicit, Precise, and Well Founded (Valentín Cassano, Thomas S. E. Maibaum, Silviya Grigorova)....Pages 227-258
The Indefeasibility Criterion for Assurance Cases (John Rushby)....Pages 259-279
Front Matter ....Pages 281-281
An Event-B Development Process for the Distributed BIP Framework (Badr Siala, Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri)....Pages 283-307
Explicit Exploration of Refinement Design in Proof-Based Approach: Refinement Engineering in Event-B (Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden)....Pages 309-330
Constructing Rigorous Sketches for Refinement-Based Formal Development: An Application to Android (Shin Nakajima)....Pages 331-346
