software development processes and methods have been studied for decades. Despite that, we still do not have reliable tools for ensuring that complicated software systems intended for high-confidence tasks are free from faults and operational failures.
กระบวนการพัฒนาซอฟต์แวร์และวิธีการได้ ได้รับการศึกษามานานหลายทศวรรษ เส้นโค้งทั้งหมด we still do not ฉันหรือที่คุณ ensuring that แยกตัว software พบกันโดยบังเอิญอย่างสม่ำเสมอ confidence แล้ว free from faults ( failures operational .