دانلود کتاب Correct System Design: Recent Insights and Advances (به فارسی: طراحی صحیح سیستم: بینش ها و پیشرفت های اخیر) نوشته شده توسط «C. A. R. Hoare (auth.) – Ernst-Rüdiger Olderog – Bernhard Steffen (eds.)»
اطلاعات کتاب طراحی صحیح سیستم: بینش ها و پیشرفت های اخیر
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: C. A. R. Hoare (auth.) – Ernst-Rüdiger Olderog – Bernhard Steffen (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1999
تعداد صفحه: 422
حجم کتاب: 2 مگابایت
کد کتاب: 3540666249 , 9783540666240
نوبت چاپ: 1
توضیحات کتاب طراحی صحیح سیستم: بینش ها و پیشرفت های اخیر
کامپیوترها کنترل هر چه بیشتر بر سیستم هایی که ما در زندگی روزمره خود از آنها استفاده می کنیم یا به آنها تکیه می کنیم، به صورت خصوصی و حرفه ای به دست می آورند. در برنامه های کاربردی حیاتی ایمنی، و همچنین در سایر موارد، بسیار مهم است که سیستم های کنترل شده توسط یک کامپیوتر یا خود سیستم های محاسباتی به طور قابل اعتماد مطابق با مشخصات و الزامات رفتار کنند، به عبارت دیگر: در اینجا صحت سیستم، نرم افزار آن است. و سخت افزار بسیار مهم است. برای کنار آمدن با این فراخوان، مهندسان نرم افزار و دانشمندان کامپیوتر باید مبانی برنامه نویسی، چگونگی پیوند نظریه های رسمی مختلف با یکدیگر، نحوه ترجمه صحیح برنامه های سطح بالا را کامپایلرها به کد ماشین و اینکه چرا تبدیل های انجام شده قابل توجیه هستند را درک کنند. به مناسبت بازنشستگی هانس لانگ ماک از استادی اش و به منظور ارج نهادن به کمک های اساسی وی در این زمینه، ویراستاران جلد از 17 محقق مشهور بین المللی دعوت کردند تا وضعیت هنر را در زمینه طراحی صحیح سیستم ارزیابی کنند. این کتاب 17 مقاله دعوت شده را ارائه می دهد که در بخش های متدولوژی، برنامه نویسی، اتوماسیون، کامپایل و کاربرد سازماندهی شده اند. این طرحی منحصر به فرد از آنچه در این منطقه به دست آمده است، به مقاله پیشگام آلن تورینگ در سال 1949 برمی گردد.
Computers are gaining more and more controle over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different formal theories are linked together, how compilers correctly translate high-level programs into machine code, and why transformations performed are justifiable. On the occasion of Hans Langmaack’s retirement from his professorship and in order to honor his fundamental contributions to the field, the volume editors invited 17 internationally well known researchers to evaluate the state of the art in the area of correct system design. This book presents 17 mutually reviewed invited papers organized in sections on methodology, programming, automation, compilation, and application. It is a unique outline of what has been achieved in the area which dates back to a pioneering paper by Alan Turing in 1949.
دانلود کتاب «طراحی صحیح سیستم: بینش ها و پیشرفت های اخیر»
