طراحی نرمافزارهای قابل اطمینان
ترجمه: زردشت هدایی ماهنامه شبکه – شماره ۶۸ اشاره : کامپیوترها روز به روز بیشتر در زندگی ما دخیل میشوند. امروزه خطوط هوایی، عملیات بانکی، ارتباطات تجاری، سیستمهای تولید و فروش و بسیاری بخشهای حیاتی دیگر جامعه به کامپیوترها متکی شدهاند. در چنین شرایطی خطا در نرمافزار میتواند نتایج فاجعهباری به بار بیاورد. بیشتر مشکلات […]