دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings
دانلود کتاب ZB 2003: مشخصات رسمی و توسعه در Z و B: سومین کنفرانس بین المللی کاربران B و Z کاربران تورکو ، فنلاند ، 4-6 ژوئن ، 2003 مقالات
مشخصات کتاب
ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Daniel Jackson (auth.), Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén (eds.) سری: Lecture Notes in Computer Science 2651 ISBN (شابک) : 3540402535, 9783540402534 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 558 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب ZB 2003: مشخصات رسمی و توسعه در Z و B: سومین کنفرانس بین المللی کاربران B و Z کاربران تورکو ، فنلاند ، 4-6 ژوئن ، 2003 مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ZB 2003: مشخصات رسمی و توسعه در Z و B: سومین کنفرانس بین المللی کاربران B و Z کاربران تورکو ، فنلاند ، 4-6 ژوئن ، 2003 مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ZB 2003: مشخصات رسمی و توسعه در Z و B: سومین کنفرانس بین المللی کاربران B و Z کاربران تورکو ، فنلاند ، 4-6 ژوئن ، 2003 مقالات
این کتاب مجموعه مقالات داوری سومین کنفرانس بین المللی کاربران Z و B، ZB 2003، در تورکو، فنلاند در ژوئن 2003 برگزار شد.
28 مقاله کامل اصلاح شده همراه با 3 مقاله دعوت شده ارائه شده است. به دقت بررسی و برای درج در کتاب انتخاب شدند. این کتاب پیشرفت‌های اخیر را برای نشان‌گذاری مشخصات رسمی Z و روش B، که دامنه کاملی از مسائل بنیادی، نظری و روش‌شناختی تا برنامه‌های کاربردی، ابزارها و مطالعات موردی پیشرفته را در بر می‌گیرد، مستند می‌کند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003.
The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.
فهرست مطالب
Alloy: A Logical Modelling Language....Pages 1-1
An Outline Pattern Language for Z: Five Illustrations and Two Tables....Pages 2-19
Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z....Pages 20-39
Reuse of Specification Patterns with the B Method....Pages 40-57
Composing Specifications Using Communication....Pages 58-78
When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets....Pages 79-97
How to Diagnose a Modern Car with a Formal B Model?....Pages 98-100
Parallel Hardware Design in B....Pages 101-102
Operation Refinement and Monotonicity in the Schema Calculus....Pages 103-126
Using Coupled Simulations in Non-atomic Refinement....Pages 127-147
An Analysis of Forward Simulation Data Refinement....Pages 148-167
B # : Toward a Synthesis between Z and B....Pages 168-177
Introducing Backward Refinement into B....Pages 178-196
Expression Transformers in B-GSL....Pages 197-215
Probabilistic Termination in B ....Pages 216-239
Probabilistic Invariants for Probabilistic Machines....Pages 240-259
Proving Temporal Properties of Z Specifications Using Abstraction....Pages 260-279
Compositional Verification for Object-Z....Pages 280-299
Timed CSP and Object-Z....Pages 300-318
Object Orientation without Extending Z....Pages 319-338
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z....Pages 339-358
Towards Practical Proofs of Class Correctness....Pages 359-387
Automatically Generating Information from a Z Specification to Support the Classification Tree Method....Pages 388-407
Refinement Preserves PLTL Properties....Pages 408-420
Proving Event Ordering Properties for Information Systems....Pages 421-436
ZML: XML Support for Standard Z....Pages 437-456
Formal Derivation of Spanning Trees Algorithms....Pages 457-476
Using B Refinement to Analyse Compensating Business Processes....Pages 477-496
A Formal Specification in B of a Medical Decision Support System....Pages 497-512
Extending B with Control Flow Breaks....Pages 513-527
Towards Dynamic Population Management of Abstract Machines in the B Method....Pages 528-545
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Partner Choice and Cooperation in Networks: Theory and Experimental Evidence
دانلود کتاب Object-Oriented Information Systems: 8th International Conference, OOIS 2002 Montpellier, France, September 2–5, 2002 Proceedings
دانلود کتاب Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge
دانلود کتاب Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings
دانلود کتاب Ubiquitous Computing Systems: Second International Symposium, UCS 2004, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers
دانلود کتاب The Semantic Web – ISWC 2005: 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings
دانلود کتاب KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings
دانلود کتاب Groups — Korea 1988: Proceedings of a Conference on Group Theory, held in Pusan, Korea, August 15–21, 1988
دانلود کتاب Privacy in Statistical Databases: CENEX-SDC Project International Conference, PSD 2006, Rome, Italy, December 13-15, 2006. Proceedings
