دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Refinement in Z and Object-Z: Foundations and Advanced Applications
دانلود کتاب پالایش در Z و Object-Z: مبانی و کاربردهای پیشرفته
مشخصات کتاب
Refinement in Z and Object-Z: Foundations and Advanced Applications
ویرایش: Softcover reprint of the original 1st ed. 2001 نویسندگان: John Derrick BSc, DPhil, Eerke Boiten Ir, PhD (auth.) سری: Formal Approaches to Computing and Information Technology ISBN (شابک) : 9781852332457, 9781447102571 ناشر: Springer London سال نشر: 2001 تعداد صفحات: 464 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 18 مگابایت
قیمت کتاب (تومان) : 44,000
کلمات کلیدی مربوط به کتاب پالایش در Z و Object-Z: مبانی و کاربردهای پیشرفته: منطق ریاضی و زبان های رسمی، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Refinement in Z and Object-Z: Foundations and Advanced Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پالایش در Z و Object-Z: مبانی و کاربردهای پیشرفته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پالایش در Z و Object-Z: مبانی و کاربردهای پیشرفته
پالایش یکی از سنگ بناهای رویکرد رسمی به مهندسی نرم افزار است و
استفاده از آن در حوزه های مختلف منجر به تحقیق در مورد برنامه
های کاربردی جدید و تعمیم آن شده است. این کتاب این تحقیق مهم را
در یک مجلد گردآوری می کند و نمونه هایی را که از حوزه های
کاربردی مختلف استخراج شده است، جمع آوری کرده است. این چهار
موضوع اصلی را پوشش می دهد:
- پالایش داده ها و کاربرد آن در Z؛
- تعمیم پالایش که رابط و اتمی بودن عملیات را تغییر می
دهد؛
- پالایش در Object-Z؛
- و مدل سازی وضعیت و رفتار با ترکیب Object-Z با CSP.
تصحیح در Z و Object-Z: مبانی و کاربردهای پیشرفته یک نمای کلی
ارزشمند از تحقیقات اخیر را برای محققان دانشگاهی و صنعتی،
اساتیدی که مشخصات رسمی و توسعه را آموزش می دهند، متخصصان صنعتی
با استفاده از فرمال ارائه می دهد. روش های کار خود و دانشجویان
کارشناسی ارشد و پیشرفته.
توضیحاتی درمورد کتاب به خارجی
Refinement is one of the cornerstones of the formal approach to
software engineering, and its use in various domains has led to
research on new applications and generalisation. This book
brings together this important research in one volume, with the
addition of examples drawn from different application areas. It
covers four main themes:
- data refinement and its application to Z;
- generalisations of refinement that change the interface and
atomicity of operations;
- refinement in Object-Z;
- and modelling state and behaviour by combining Object-Z with
CSP.
Refinement in Z and Object-Z: Foundations and Advanced
Applications provides an invaluable overview of recent research
for academic and industrial researchers, lecturers teaching
formal specification and development, industrial practitioners
using formal methods in their work, and postgraduate and
advanced undergraduate students.
فهرست مطالب
Front Matter....Pages i-xviii
Front Matter....Pages 1-1
An Introduction to Z....Pages 3-45
Simple Refinement....Pages 47-61
Data Refinement and Simulations....Pages 63-83
Refinement in Z....Pages 85-118
Calculating Refinements....Pages 119-140
Promotion....Pages 141-160
Testing and Refinenient....Pages 161-187
A Single Simulation Rule....Pages 189-203
Front Matter....Pages 205-205
Refinement, Observation and Modification....Pages 207-224
IO Refinement....Pages 225-251
Weak Refinement....Pages 253-286
Non-Atomic Refinement....Pages 287-318
Case Study: A Digital and Analogue Watch....Pages 319-329
Further Generalisations....Pages 331-334
Front Matter....Pages 335-335
An Introduction to Object-Z....Pages 337-357
Refinement in Object-Z....Pages 359-375
Class Refinement....Pages 377-403
Front Matter....Pages 405-405
Combining CSP and Object-Z....Pages 407-425
Refining CSP and Object-Z Specifications....Pages 427-437
Conclusions....Pages 439-441
Back Matter....Pages 443-466
