دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
دانلود کتاب آموزش روش های رسمی: دومین کنفرانس بین المللی، TFM 2009، آیندهوون، هلند، 2-6 نوامبر 2009. مجموعه مقالات
مشخصات کتاب
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
ویرایش: [1 ed.] نویسندگان: Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.) سری: Lecture Notes in Computer Science 5846 : Theoretical Computer Science and General Issues ISBN (شابک) : 3642049117, 9783642049118 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 177 [185] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب آموزش روش های رسمی: دومین کنفرانس بین المللی، TFM 2009، آیندهوون، هلند، 2-6 نوامبر 2009. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب آموزش روش های رسمی: دومین کنفرانس بین المللی، TFM 2009، آیندهوون، هلند، 2-6 نوامبر 2009. مجموعه مقالات
این کتاب مجموعه مقالات داوری TFM 2009 است که در آیندهوون، هلند در نوامبر 2009 برگزار شد.
10 مقاله کامل اصلاح شده ارائه شده همراه با چکیده سخنرانی دعوت شده با دقت بررسی شدند. و از 19 مورد ارسالی انتخاب شد. مقالات ارائه شده به بررسی تجربیات تدریس FM ها، چه موفق و چه ناموفق، منابع آموزشی از جمله استفاده از کتاب، مطالعات موردی و اینترنت، آموزش دانش آموزان ضعیف و ریاضی هراس، ادغام، یا موارد دیگر، FM ها در برنامه درسی، از جمله کمک به تعریف یک مجموعه دانش با روش های رسمی (FMBOK)، مزایای فارغ التحصیلان آموزش دیده FM در محل کار، تغییر نگرش نسبت به FM در دانشجویان، کارکنان دانشگاهی و شاغلین و پیشینه ریاضی لازم.
</ p>توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the TFM 2009, held in Eindhoven, The Netherlands in November 2009.
The 10 revised full papers presented together with an abstracts of invited talk were carefully reviewed and selected from 19 submissions. The papers presented explore the experiences of teaching FMs, both successful and unsuccessful, educational resources including the use of books, case studies and the internet, the education of weak and mathphobic students, the integration, or otherwise, of FMs into the curriculum, including, contributions to the definition of a Formal Methods Body of Knowledge (FMBOK), the advantages of FM-trained graduates in the workplace, changing attitudes towards FMs in students, academic staff and practitioners and the necessary mathematical background.
فهرست مطالب
Front Matter....Pages -
Abstraction and Modelling: A Complementary Partnership....Pages 1-1
Teaching Formal Methods for the Unconquered Territory....Pages 2-19
Teaching Formal Methods Based on Rewriting Logic and Maude....Pages 20-38
Which Mathematics for the Information Society?....Pages 39-56
What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project....Pages 57-71
Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z....Pages 72-91
Teaching Program Specification and Verification Using JML and ESC/Java2....Pages 92-104
How to Explain Mistakes....Pages 105-124
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification....Pages 125-143
On Teaching Formal Methods: Behavior Models and Code Analysis....Pages 144-157
Teaching Concurrency: Theory in Practice....Pages 158-175
Back Matter....Pages -
