دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Phillip James.Markus Roggenbach (eds.)
سری: Theoretical Computer Science and General Issues 10644
ISBN (شابک) : 9783319720432, 9783319720449
ناشر: Springer International Publishing
سال نشر: 2017
تعداد صفحات: 228
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 8 مگابایت
کلمات کلیدی مربوط به کتاب روندهای اخیر در تکنیک های توسعه جبر: 23 کارگاه بین المللی IFIP WG 1.3 ، WADT 2016 ، Gregynog ، انگلستان ، 21 تا 24 سپتامبر 2016 ، برگه های منتخب: منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روندهای اخیر در تکنیک های توسعه جبر: 23 کارگاه بین المللی IFIP WG 1.3 ، WADT 2016 ، Gregynog ، انگلستان ، 21 تا 24 سپتامبر 2016 ، برگه های منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل بیست و
سومین کارگاه بین المللی IFIP WG 1.3 در تکنیک های توسعه جبری،
WADT 2016 است که در سپتامبر 2016 در Gregynog، انگلستان برگزار
شد.
9 مقاله اصلاح شده ارائه شده است. همراه با دو گفتگوی دعوت شده،
یک مقاله دعوت شده و دو مقاله نظرسنجی به دقت بررسی و از بین
ارسالهای متعدد و تمرکز بر مبانی مشخصات جبری انتخاب شدند.
سایر رویکردها برای مشخصات رسمی، از جمله محاسبات فرآیند و مدل
های محاسبات همزمان، توزیع شده و سیار. زبان ها، روش ها و محیط
های مشخصات؛ معناشناسی روش ها و تکنیک های مدل سازی مفهومی؛
توسعه مدل محور؛ تبدیل نمودار، بازنویسی اصطلاح و سیستم های
اثبات. ادغام تکنیک های مشخصات رسمی؛ حوزه های تست رسمی و تضمین
کیفیت، اعتبار سنجی و تأیید، که به طور کلی به سه دسته تقسیم می
شوند: تجزیه و تحلیل محتوای چند رسانه ای. پردازش سیگنال چند
رسانه ای و ارتباطات؛ و برنامه ها و خدمات چند رسانه ای.
This book constitutes the thoroughly refereed post-conference
proceedings of the 23rd IFIP WG 1.3 International Workshop on
Algebraic Development Techniques, WADT 2016, held in
September 2016 in Gregynog, UK.
The 9 revised papers presented together with two invited
talks, one invited paper and two survey papers were carefully
reviewed and selected from numerous submissions and focus on
foundations of algebraic specification; other approaches to
formal specification, including process calculi and models of
concurrent, distributed and mobile computing; specification
languages, methods, and environments; semantics of conceptual
modeling methods and techniques; model-driven development;
graph transformations, term rewriting and proof systems;
integration of formal specification techniques; formal
testing and quality assurance, validation, and verification
areas, broadly falling into three categories: multimedia
content analysis; multimedia signal processing and
communications; and multimedia applications and services.
Front Matter ....Pages I-X
Front Matter ....Pages 1-1
Advances in Verification of Multi-agent Systems (Alessio Lomuscio)....Pages 3-4
The Distributed Ontology, Model and Specification Language – DOL (Till Mossakowski)....Pages 5-10
Front Matter ....Pages 11-11
Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations (Kenneth Johnson, John V. Tucker, Victoria Wang)....Pages 13-35
Front Matter ....Pages 37-37
Asymmetric Combination of Logics is Functorial: A Survey (Renato Neves, Alexandre Madeira, Luis S. Barbosa, Manuel A. Martins)....Pages 39-55
Algebraic Model Management: A Survey (Patrick Schultz, David I. Spivak, Ryan Wisnesky)....Pages 56-69
Front Matter ....Pages 71-71
Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract) (Jan A. Bergstra, Alban Ponse)....Pages 73-87
A Calculus of Virtually Timed Ambients (Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf)....Pages 88-103
An Institution for Event-B (Marie Farrell, Rosemary Monahan, James F. Power)....Pages 104-119
On the Most Suitable Axiomatization of Signed Integers (Hubert Garavel)....Pages 120-134
Observational Semantics for Dynamic Logic with Binders (Rolf Hennicker, Alexandre Madeira)....Pages 135-152
Towards Critical Pair Analysis for the Graph Programming Language GP 2 (Ivaylo Hristakiev, Detlef Plump)....Pages 153-169
Canonical Selection of Colimits (Till Mossakowski, Florian Rabe, Mihai Codescu)....Pages 170-188
Formalizing and Validating the P-Store Replicated Data Store in Maude (Peter Csaba Ölveczky)....Pages 189-207
Generic Hoare Logic for Order-Enriched Effects with Exceptions (Christoph Rauch, Sergey Goncharov, Lutz Schröder)....Pages 208-222
Back Matter ....Pages 223-223