دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings
دانلود کتاب B’98: پیشرفتهای اخیر در توسعه و استفاده از روش B: دومین کنفرانس بین المللی B مونپلیه ، فرانسه ، 22 تا 24 آوریل 1998
مشخصات کتاب
B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Jean -Raymond Abrial (auth.), Didier Bert (eds.) سری: Lecture Notes in Computer Science 1393 ISBN (شابک) : 3540644059, 9783540644057 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1998 تعداد صفحات: 630 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 32,000
کلمات کلیدی مربوط به کتاب B’98: پیشرفتهای اخیر در توسعه و استفاده از روش B: دومین کنفرانس بین المللی B مونپلیه ، فرانسه ، 22 تا 24 آوریل 1998: مهندسی نرم افزار، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب B’98: پیشرفتهای اخیر در توسعه و استفاده از روش B: دومین کنفرانس بین المللی B مونپلیه ، فرانسه ، 22 تا 24 آوریل 1998 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب B’98: پیشرفتهای اخیر در توسعه و استفاده از روش B: دومین کنفرانس بین المللی B مونپلیه ، فرانسه ، 22 تا 24 آوریل 1998
این کتاب مجموعه مقالات داوری دومین کنفرانس بین المللی B،
B'98، برگزار شده در مونپلیه، فرانسه، در آوریل 1998 را ارائه
می دهد.
کتاب 15 مقاله کامل اصلاح شده را ارائه می کند که از بین 29
ارسالی و همچنین چهار مشارکت دعوت شده انتخاب شده اند. . روش B
به سرعت در حال افزایش محبوبیت برای مشخصات و طراحی نرم افزار
است. این کتاب تمام جنبه‌های فناوری B، از جمله موضوعات مقدماتی
و روش‌شناختی، تحقیقات نظری و کاربردهای صنعتی، پیشنهادهای
توسعه B و ابزارهای پشتیبانی، و همچنین مقایسه یا ادغام با سایر
روش‌های رسمی برای توسعه نرم‌افزار را پوشش می‌دهد.
توضیحاتی درمورد کتاب به خارجی
This book presents the refereed proceedings of the Second
International B Conference, B'98, held in Montpellier,
France, in April 1998.
The book presents 15 revised full papers selected from 29
submissions as well as four invited contributions. The B
method is enjoying rapidly increasing popularity for the
specification and design of software. The book covers all
aspects of the B technology, including introductory and
methodological issues, theoretical investigations and
industrial applications, B extension proposals and support
tools, as well as comparisons or integration with other
formal methods for software development.
فهرست مطالب
On B....Pages 1-8
The generalised substitution language extended to probabilistic programs....Pages 9-25
MéTéOR: An industrial success in formal development....Pages 26-26
Cost effectiveness of formal methods in the development of avionics systems at Aérospatiale....Pages 27-28
Well defined B....Pages 29-45
Composition and refinement in the B-method....Pages 46-65
Formalisation of B in Isabelle/HOL....Pages 66-82
Introducing dynamic constraints in B....Pages 83-128
Retrenchment: An engineering variation on refinement....Pages 129-147
Synthesising structure from flat specifications....Pages 148-161
An object-based approach to the B formal method....Pages 162-181
Graphical design of reactive systems....Pages 182-197
Process control engineering: Contribution to a formal structuring framework with the B method....Pages 198-209
Designing a B model for safety-critical software systems....Pages 210-225
Abstract state machines: Designing distributed systems with state machines and B....Pages 226-242
Layering distributed algorithms within the B-method....Pages 243-260
Two strategies to data-refine an equivalence to a forest....Pages 261-272
Specification of an integrated circuit card protocol application using the B method and linear temporal logic....Pages 273-292
Test case preparation using a prototype....Pages 293-311
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Knowledge Discovery in Inductive Databases: 4th International Workshop, KDID 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Papers
دانلود کتاب The Big Fish Bang (Proceedings of the 26th annual Larval Fish Conference)
دانلود کتاب Algorithmic Foundations of Robotics IX: Selected Contributions of the Ninth International Workshop on the Algorithmic Foundations of Robotics
دانلود کتاب Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings
دانلود کتاب Image Analysis and Processing: 9th International Conference, ICIAP '97 Florence, Italy, September 17–19, 1997 Proceedings, Volume II
دانلود کتاب Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers
دانلود کتاب Technologies for E-Services: Third International Workshop, TES 2002 Hong Kong, China, August 23–24, 2002 Proceedings
دانلود کتاب Wired/Wireless Internet Communications: 6th International Conference, WWIC 2008 Tampere, Finland, May 28-30, 2008 Proceedings
دانلود کتاب Architecture of Computing Systems - ARCS 2006: 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings
