ترجمه فارسی توضیحات (ترجمه ماشینی)
روشهای رسمی یکپارچه: پنجمین کنفرانس بین المللی، IFM 2005، آیندهوون، هلند، 29 نوامبر – 2 دسامبر 2005. مجموعه مقالات
این کتاب مجموعه مقالات داوری پنجمین کنفرانس بینالمللی روشهای رسمی یکپارچه، IFM 2005، برگزار شده در آیندهوون، هلند، در نوامبر/دسامبر 2005 است.
19 مقاله کامل اصلاحشده همراه با ارائه شده است. 3 مقاله دعوت شده به دقت بررسی و از بین 40 مقاله ارسالی انتخاب شدند. مقالات در بخشهای موضوعی در مورد مؤلفهها، تأیید مبتنی بر وضعیت/رویداد، توسعه سیستم، برنامههای کاربردی B، پشتیبانی ابزار، حوزههای غیرنرمافزاری، معناشناسی، و همچنین UML و نمودارهای وضعیتی سازماندهی شدهاند.
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in Eindhoven, The Netherlands, in November/December 2005.
The 19 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts.
نقد و بررسیها
هیچ دیدگاهی برای این محصول نوشته نشده است.