دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
دانلود کتاب روش های دقیق ساخت و تجزیه و تحلیل نرم افزار: مقاله هایی اختصاص داده شده به ایگون بورگر به مناسبت 60 سالگی
مشخصات کتاب
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
ویرایش: 1 نویسندگان: Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.) سری: Lecture Notes in Computer Science 5115 ISBN (شابک) : 9783642114465, 9783642114472 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 247 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب روش های دقیق ساخت و تجزیه و تحلیل نرم افزار: مقاله هایی اختصاص داده شده به ایگون بورگر به مناسبت 60 سالگی: نظریه محاسبات، منطق ریاضی و زبان های رسمی، تحلیل الگوریتم و پیچیدگی مسائل، ریاضیات محاسبات، روش های محاسباتی، الگوریتم ها
در صورت تبدیل فایل کتاب Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های دقیق ساخت و تجزیه و تحلیل نرم افزار: مقاله هایی اختصاص داده شده به ایگون بورگر به مناسبت 60 سالگی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش های دقیق ساخت و تجزیه و تحلیل نرم افزار: مقاله هایی اختصاص داده شده به ایگون بورگر به مناسبت 60 سالگی
این جلد Festschrift که به افتخار اگون بورگر منتشر شده است، شامل 14 مقاله از سمینار داگستول است که به عنوان "Festkolloquium" به مناسبت شصتمین سالگرد تولد او در می 2006 سازماندهی شد. تمرکز بر روی فرم های رسمی کاربردی روش‌ها، این جلد طیف گسترده‌ای از تحقیقات کاربردی را در بر می‌گیرد، از مبانی نظری و روش‌شناختی تا کاربردهای عملی ماشین‌های حالت انتزاعی، B و فراتر از آن، با تاکید بر روش‌ها و ابزارهای جهانی که، صرف‌نظر از جهت‌گیری کاربردی‌شان، همچنان به ایده‌آل متعهد هستند. از دقت ریاضی.
به‌ویژه، مقالات به موضوعات اصلی زیر می‌پردازند: مبانی روش‌شناختی تعیین و تأیید نیازمندی‌ها، توصیف زبان‌های مشخصات و مبانی منطقی آن‌ها، محیط‌های ابزار پیشرفته و ادغام سیستماتیک ابزارها، به کمک ماشین اعتبار سنجی و تایید، الگوریتم های توزیع شده و پروتکل های همزمان، برنامه های کاربردی جدید در امنیت عمومی، امنیت و حریم خصوصی، مطالعات موردی صنعتی و گزارش های تجربی، و نقش روش های رسمی در آموزش علوم کامپیوتر.
توضیحاتی درمورد کتاب به خارجی
This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, which was organized as a "Festkolloquium" on the occasion of his 60th birthday in May 2006. Focusing on applied formal methods, the volume covers a wide range of applied research, spanning from theoretical and methodological foundations to practical applications of Abstract State Machines, B, and beyond, emphasizing universal methods and tools that, regardless of their applicational orientation, are still committed to the ideal of mathematical rigor.
In particular, the papers address the following central topics: methodological foundations of requirements specification and verification, characterization of specification languages and their logical foundations, advanced tool environments and systematic integration of tools, machine assisted validation and verification, distributed algorithms and concurrent protocols, novel applications in public safety, security and privacy, industrial case studies and experience reports, and the role of formal methods in computer science education.
فهرست مطالب
Front Matter....Pages -
Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec# ....Pages 1-16
Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development....Pages 17-32
Ten Reasons to Metamodel ASMs....Pages 33-49
An ASM-Characterization of a Class of Distributed Algorithms....Pages 50-64
Using Abstract State Machines for the Design of Multi-level Transaction Schedulers....Pages 65-77
Validating and Animating Higher-Order Recursive Functions in B....Pages 78-92
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs....Pages 93-110
Management of UML Clusters....Pages 111-129
A Step towards Merging xUML and CSP ${\\| \\ }$ B....Pages 130-146
CoreASM Plug-In Architecture....Pages 147-169
JASMine : Accessing Java Code from CoreASM ....Pages 170-186
A Modular Verification Methodology for C# Delegates....Pages 187-203
On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages....Pages 204-218
Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net....Pages 219-233
Back Matter....Pages -
