وبلاگ

:
پروژه تحقیقاتی به منظور بررسی قابلیت اطمینان سیستم توسط اولین محقق در دانشگاه نیوکاسل در سال 1971 آغاز شد این در زمانی بود که مشکلات نرم افزاری به عنوان مثال در سال 1968 به وجود آمده بود و در همایش مهندسی نرم افزار ناتو در سال 1969 در مورد آنچه در آن زمان بحران نرم افزار نامیده می شد مورد بررسی قرار گرفت. این بحث یکی از مهم ترین تلاشهای تحقیقاتی را در تعدادی نقاط با هدف پیدا

/%d8%af%d8%a7%d9%86%d9%84%d9%88%d8%af-%d9%85%d9%82%d8%a7%d9%84%d9%87-isi-%d8%a8%d8%a7-%d8%aa%d8%b1%d8%ac%d9%85%d9%87-%d9%81%d8%a7%d8%b1%d8%b3%db%8c-%d8%aa%da%a9%d8%a7%d9%85%d9%84-%d8%a8%d8%a7%d8%b2/

 کردن ابزار تولید برنامه بدون خطا شروع شد با این حال در نیوکاسل برای انجام هر کاری با وجود استفاده از بهترین روش های موجود از رسیدن به کد بدون خطای تحقیقاتی شروع شد که به عنوان یک هدف جالب توجه و ارزشمند در نظر گرفته شده بود. مرحله مقدماتی این پروژه شامل مطالعه و تعیین یک نماینده برای سیستم های بزرگ نرمافزاری از جمله سیستم های بانکی یارزرو خطوط هوایی بود.