مشخصات کتاب

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 مگابایت 

کلمات کلیدی مربوط به کتاب پالایش در 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

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Integração perversa: pobreza e tráfico de drogas

دانلود کتاب Regimes of Ignorance: Anthropological Perspectives on the Production and Reproduction of Non-Knowledge

دانلود کتاب History of the Jews in modern times

دانلود کتاب Handbook of Graphene, Volume 6: Biosensors and Advanced Sensors

دانلود کتاب Awakening Your Inner Genius