دانلود کتاب Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
دسته: علمی-مردمی
کتاب آموزش روشهای رسمی: سمپوزیوم CoLogNET/FME، TFM 2004، گنت، بلژیک، 18-19 نوامبر 2004. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب آموزش روشهای رسمی: سمپوزیوم CoLogNET/FME، TFM 2004، گنت، بلژیک، 18-19 نوامبر 2004. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
نام کتاب : Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : آموزش روشهای رسمی: سمپوزیوم CoLogNET/FME، TFM 2004، گنت، بلژیک، 18-19 نوامبر 2004. مجموعه مقالات
سری : Lecture Notes in Computer Science 3294
نویسندگان : Kung-Kiu Lau (auth.), C. Neville Dean, Raymond T. Boute (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2004
تعداد صفحات : 257
ISBN (شابک) : 3540236112 , 9783540304722
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 23 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
"مهندسین حرفه ای را اغلب می توان با توانایی مهندسان در استفاده از مدل های ریاضی برای توصیف و تجزیه و تحلیل محصولات خود از دیگر طراحان متمایز کرد." این مشاهدات پرناس استانداردهای حرفه ای واقعی را در تمام رشته های مهندسی کلاسیک (عمران، مکانیک، برق و غیره) توصیف می کند. متأسفانه، این در تضاد شدید با رویه فعلی (صنعتی) در طراحی نرم افزار است، جایی که مدل های ریاضی به ندرت مورد استفاده قرار می گیرند، حتی توسط کسانی که به قول هالووی «آرزو دارند مهندس شوند». استثناهای نادر کاربردهای حیاتی خاصی هستند که در آنها تکنیک های ریاضی تحت نام کلی روش های رسمی استفاده می شود. با این حال، همین ویژگی‌ها که روشهای رسمی را می‌سازند، برنامه‌های کاربردی حیاتی را در سطوح مختلف از علم طراحی تا کیفیت نرم‌افزار طراحی می‌کنند. پس چرا آموزش با توجه به روشهای رسمی شکست می‌خورد؟ - ناتوانی در متقاعد کردن دانشجویان، دانشگاهیان و شاغلین به طور یکسان مبنی بر اینکه روش های رسمی واقعاً عملی هستند. - ناتوانی در غلبه بر فوبیای رسمی بودن و ریاضیات؛ - ناتوانی در ارائه مهارت‌های اساسی و درک مورد نیاز دانش‌آموزان برای اتخاذ رویکرد ریاضی و منطقی برای توسعه نرم‌افزار. تا زمانی که آموزش این نارسایی‌ها را جدی نگیرد، روشهای رسمی راهی مبهم در مهندسی نرم‌افزار خواهند بود که به نوبه خود در نتیجه به شدت فقیر خواهند ماند.
فهرست مطالب :
Front Matter....Pages -
A Beginner’s Course on Reasoning About Imperative Programs....Pages 1-16
Designing Algorithms in High School Mathematics....Pages 17-31
Motivating Study of Formal Methods in the Classroom....Pages 32-46
Formal Systems, Not Methods....Pages 47-64
A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis....Pages 65-84
Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns....Pages 85-106
Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods....Pages 107-123
Integrating Formal Specification and Software Verification and Validation....Pages 124-139
Distributed Teaching of Formal Methods....Pages 140-152
An Undergraduate Course on Protocol Engineering – How to Teach Formal Methods Without Scaring Students....Pages 153-165
Linking Paradigms, Semi-formal and Formal Notations....Pages 166-184
Teaching Formal Methods in Context....Pages 185-202
Embedding Formal Development in Software Engineering....Pages 203-213
Advertising Formal Methods and Organizing Their Teaching: Yes, but .......Pages 214-224
Retrospect and Prospect of Formal Methods Education in China....Pages 225-234
A Survey of Formal Methods Courses in European Higher Education....Pages 235-248
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
“Professional engineers can often be distinguished from other designers by the engineers’ ability to use mathematical models to describe and 1 analyze their products.” This observation by Parnas describes the de facto professional standards in all classical engineering disciplines (civil, mechanical, electrical, etc.). Unf- tunately, it is in sharp contrast with current (industrial) practice in software design, where mathematical models are hardly used at all, even by those who, 2 in Holloway’s words “aspire to be engineers.” The rare exceptions are certain critical applications, where mathematical techniques are used under the general name formal methods. Yet,thesamecharacteristicsthatmakeformalmethodsanecessityincritical applicationsmakethemalsoadvantageousineverydaysoftwaredesignatvarious levels from design e?ciency to software quality. Why, then, is education failing with respect to formal methods? – failing to convince students, academics and practitioners alike that formal methods are truly pragmatic; – failing to overcome a phobia of formality and mathematics; – failing to provide students with the basic skills and understanding required toadoptamoremathematicalandlogicalapproachtosoftwaredevelopment. Until education takes these failings seriously, formal methods will be an obscure byway in software engineering, which in turn will remain severely impoverished as a result.