دانلود کتاب CAFE: An Industrial Strength Algebraic Formal Method (به فارسی: کافه: روش رسمی جبری قدرت صنعتی) نوشته شده توسط «K. Futatsugi – A.T. Nakagawa – T. Tamai»
اطلاعات کتاب کافه: روش رسمی جبری قدرت صنعتی
موضوع اصلی: جبر
نوع: کتاب الکترونیکی
ناشر: Elsevier Science
نویسنده: K. Futatsugi – A.T. Nakagawa – T. Tamai
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2000
تعداد صفحه: 209
حجم کتاب: 2 مگابایت
کد کتاب: 0444505563 , 9780444505569 , 9780080528403
نوبت چاپ: 1st
توضیحات کتاب کافه: روش رسمی جبری قدرت صنعتی
این کتاب شامل مقالات منتخب در مورد زبان، برنامه‌ها و محیط‌های CafeOBJ است که یک زبان مشخصات جبری پیشرفته است. نویسندگان سخنرانان کارگاهی هستند که در سال 1998 برای بزرگداشت پروژه بزرگ صنعتی/آکادمیک اختصاص داده شده به CafeOBJ برگزار شد. در این پروژه بیش از 40 نفر از بیش از 10 سازمان مشارکت داشتند که از این تعداد 6 سازمان صنعتی هستند. این کارگاه حدود 30 سخنرانی و بیش از 70 شرکت‌کننده را به خود جذب کرد. یا موارد کاملاً جدید، مخصوصاً برای این کتاب نوشته شده است. از این نظر، کتاب پس از یک کارگاه آموزشی معمول نیست. همچنین، اگرچه این کتاب خلاصه ای از مقالات مرتبط با CafeOBJ است، اما کتاب راهنما، مرجع یا آموزش CafeOBJ نیست. احتمالاً بهترین توصیف این است که مجموعه ای از مقالات است که نحوه استفاده یا آسان کردن استفاده از CafeOBJ را بررسی می کند. با انعکاس ماهیت متنوع پروژه و شرکت کنندگان آن (بیشتر نویسندگان در پروژه شرکت می کنند)، مقالات، در کنار هم، تصویری جامع از این دیدگاه روش شناختی ارائه می دهند.
برخی از مقالات به جنبه های مختلف پیشرفته زبان می پردازند. مانند بازنویسی منطق و منطق رفتاری. برای بازنویسی منطق، چند کاربرد قابل توجه گزارش شده است. به طور خاص، UML، که در حال حاضر به طور واقعی زبان استاندارد برای سیستم های مدل سازی در نظر گرفته می شود، موضوع یک مقاله است. برای منطق رفتاری، دستورالعمل های روش شناختی جدیدی ارائه شده است. برخی از مقالات نور جدیدی را بر پارادایم سنتی تر در زبان می اندازند. مشخصات معادله مرتب شده به ترتیب یک مقاله، به طور خاص، به روشی برای مرتبط کردن CafeOBJ با برنامه نویسی شی گرا می پردازد. مقالات دیگر به محیط هایی برای نوشتن و تأیید مشخصات نوشته شده در CafeOBJ می پردازند. در زیربنای این مقالات دو ملاحظۀ اصلی وجود دارد: رابط های کاربر برای دستکاری مشخصات، و پشتیبانی سیستماتیک برای اثبات. همه محیط‌هایی که در مقالات توضیح داده شده‌اند، محاسبات توزیع‌شده را فرض می‌کنند و پشتیبانی می‌کنند، و فناوری‌های استاندارد شبکه‌ای مانند WWW و http، گنجانده شده‌اند. <br
The papers in the book however, are either heavily revised versions presented at the workshop, to reflect recent advancements or research; or completely new ones, written especially for this book. In this regard, the book is not a usual postpublication after a workshop. Also, although it is a compendium of papers that are related to CafeOBJ, the book is not a manual, reference, or tutorial of CafeOBJ. Probably the best description is that it is a collection of papers that investigate how to use, or to make it easy to use, CafeOBJ. Reflecting the diverse nature of the project and its participants (most of the authors are participants to the project), the papers, put together, offer a comprehensive picture from this methodological perspective.
Some papers deal with various advanced aspects of the language, such as rewriting logic and behavioural logic. For rewriting logic, a couple of significant applications were reported. In particular, UML, now considered de facto standard language for modelling systems, is the subject of one paper. For behavioural logic, new methodological guidelines are presented. Some papers shed new light on a more traditional paradigm in the language; order-sorted equational specifications. One paper, in particular, deal with a way to associate CafeOBJ with object-oriented programming. The other papers deal with environments for writing and vertifying specifications written in CafeOBJ. Underlying those papers are two major considerations: user interfaces for manipulating specifications, and systematic supports for proofs. All the environments explained in the papers assume and support distributed computing, and de facto standard network technologies, such as WWW and http, are incorporated. <br
دانلود کتاب «کافه: روش رسمی جبری قدرت صنعتی»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.