دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Zhou Chaochen (auth.), Zhiming Liu, Jifeng He (eds.) سری: Lecture Notes in Computer Science 4260 : Programming and Software Engineering ISBN (شابک) : 3540474609, 9783540474609 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2006 تعداد صفحات: 792 [787] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 11 Mb
در صورت تبدیل فایل کتاب Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشها و مهندسی نرم افزار رسمی: هشتمین کنفرانس بین المللی روشهای مهندسی رسمی ، ICFEM 2006 ، ماکائو ، چین ، 1-3 نوامبر 2006. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری هشتمین کنفرانس بینالمللی روشهای مهندسی رسمی، ICFEM 2006، برگزار شده در ماکائو، چین، در نوامبر 2006 است.
38 مقاله کامل اصلاحشده همراه با سه سخنرانی اصلی ارائه شده است. از بین 108 مورد ارسالی به دقت بررسی و انتخاب شدند. این مقالات به تمام مسائل جاری در روش های رسمی و کاربردهای آنها در مهندسی نرم افزار می پردازد. آنها در بخش های موضوعی در مورد مشخصات و تأیید، نرم افزارهای اینترنتی و سیستم های مبتنی بر وب، سیستم های همزمان، ارتباطی، زمان بندی و احتمالاتی، شی گرایی و مؤلفه گرایی، آزمایش و بررسی مدل، ابزارها، تحمل خطا و امنیت، و همچنین مشخصات و پالایش.
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006.
The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification, internetware and Web-based systems, concurrent, communicating, timing and probabilistic systems, object and component orientation, testing and model checking, tools, fault-tolerance and security, as well as specification and refinement.