Correct System Design: Recent Insights and Advances

کامپیوترها کنترل هر چه بیشتر بر سیستم هایی که ما در زندگی روزمره خود از آنها استفاده می کنیم یا به آنها تکیه می کنیم، به صورت خصوصی و حرفه ای به دست می آورند. در برنامه های کاربردی حیاتی ایمنی، و همچنین در سایر موارد، بسیار مهم است که سیستم های کنترل شده توسط یک کامپیوتر یا خود سیستم های محاسباتی به طور قابل اعتماد مطابق با مشخصات و الزامات رفتار کنند، به عبارت دیگر: در اینجا صحت سیستم، نرم افزار آن است. و سخت افزار بسیار مهم است. برای کنار آمدن با این فراخوان، مهندسان نرم افزار و دانشمندان کامپیوتر باید مبانی برنامه نویسی، چگونگی پیوند نظریه های رسمی مختلف با یکدیگر، نحوه ترجمه صحیح برنامه های سطح بالا را کامپایلرها به کد ماشین و اینکه چرا تبدیل های انجام شده قابل توجیه هستند را درک کنند. به مناسبت بازنشستگی هانس لانگ ماک از استادی اش و به منظور ارج نهادن به کمک های اساسی وی در این زمینه، ویراستاران جلد از 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.