دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
دانلود کتاب مشخصات ، جبر و نرم افزار: مقاله هایی که به Kokichi Futatsugi اختصاص داده شده است
مشخصات کتاب
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
ویرایش: 1 نویسندگان: Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.) سری: Lecture Notes in Computer Science 8373 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642546235, 973990971X ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2014 تعداد صفحات: 675 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 13 مگابایت
قیمت کتاب (تومان) : 78,000
کلمات کلیدی مربوط به کتاب مشخصات ، جبر و نرم افزار: مقاله هایی که به Kokichi Futatsugi اختصاص داده شده است: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلر، مترجمان
در صورت تبدیل فایل کتاب Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مشخصات ، جبر و نرم افزار: مقاله هایی که به Kokichi Futatsugi اختصاص داده شده است نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مشخصات ، جبر و نرم افزار: مقاله هایی که به Kokichi Futatsugi اختصاص داده شده است
این جلد Festschrift که به افتخار کوکیچی فوتاتسوگی منتشر شده است، شامل 31 مشارکت دعوت شده از محققان برجسته بین المللی در روش های رسمی و مهندسی نرم افزار است. پروفسور فوتاتسوگی یکی از بنیانگذاران رشته مشخصات جبری و تایید و محقق برجسته در روش های رسمی و مهندسی نرم افزار است. او پیشگام و پیشرفتهترین روشها و زبانهای جبری جدید است که از آنها مانند OBJ و CafeOBJ پشتیبانی میکنند و در طول سالها تلاش خستگیناپذیری کرده است تا چنین روشها و ابزارهایی را با عمل مهندسی نرمافزار در تماس قرار دهد. این جلد شامل مشارکتهای محققان پیشرو بینالمللی در روشهای رسمی و مهندسی نرمافزار است.
توضیحاتی درمورد کتاب به خارجی
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering. He has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and tools in contact with software engineering practice. This volume contains contributions from internationally leading researchers in formal methods and software engineering.
فهرست مطالب
Front Matter....Pages -
Domain Endurants....Pages 1-34
On Formal Definition and Analysis of Formal Verification Processes....Pages 35-52
CafeOBJ Traces....Pages 53-65
Parchments for CafeOBJ Logics....Pages 66-91
Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications....Pages 92-109
The Versatile Synchronous Observer....Pages 110-128
Model Checking TLR* Guarantee Formulas on Infinite Systems....Pages 129-150
Towards a Combination of CafeOBJ and PAT....Pages 151-170
Negative Variables and the Essence of Object-Oriented Programming....Pages 171-187
Reasoning (on) Service Component Ensembles in Rewriting Logic....Pages 188-211
Dynamic Validation of Maude Prototypes of UML Models....Pages 212-228
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)....Pages 229-255
The Semantics of Datalog for the Evidential Tool Bus....Pages 256-275
Synthesis of Infinite-State Abstractions and Their Use for Software Validation....Pages 276-295
Behavioral Rewrite Systems and Behavioral Productivity....Pages 296-314
Functional Logic Programming in Maude....Pages 315-336
Confluence: The Unifying, Expressive Power of Locality....Pages 337-358
Foundations for Ensemble Modeling – The Helena Approach....Pages 359-381
Behaviour, Interaction and Dynamics....Pages 382-401
Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing....Pages 402-433
Extending Operation Semantics to Enhance the Applicability of Formal Refinement....Pages 434-440
An Institution for Imperative RSL Specifications....Pages 441-464
8 k -ary Grid Graph Models of Tabular Forms....Pages 465-477
Everlasting Challenges with the OBJ Language Family....Pages 478-493
Formal Modeling and Analysis of Google’s Megastore in Real-Time Maude....Pages 494-519
EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks....Pages 520-540
Some Engineering Applications of the OTS/CafeOBJ Method....Pages 541-559
Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method....Pages 560-577
On Automation of OTS/CafeOBJ Method....Pages 578-602
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool....Pages 603-629
Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs....Pages 630-656
Back Matter....Pages -
