แนวทางพื้นฐานคือเทคนิคทางคณิตศาสตร์ ที่ใช้ในการระบุ การพัฒนา และตรวจสอบระบบซอฟต์แวร์ พวกเขาตั้งใจที่จะปรับปรุงความน่าเชื่อถือและความถูกต้องของซอฟต์แวร์

หลัก ฐาน ทาง เทววิทยา เกี่ยว กับ วิธี การ ทาง สถาปัตยกรรม

การ ใช้ วิธี การ แบบ นี้ จะ ช่วย ให้ นัก พัฒนา สามารถ กําหนด พฤติกรรม ของ ระบบ ได้ อย่าง ชัดเจน เทคนิค ต่าง ๆ เช่น การ ตรวจ สอบ แบบ จําลอง การ พิสูจน์ และ การ กําหนด ภาษา ตาม มาตราฐาน ช่วย ให้ แน่ ใจ ว่า โปรแกรม นั้น บรรลุ ข้อ เรียก ร้อง ก่อน เริ่ม ใช้.

โปรแกรม ที่ ใช้ ได้ จริง ใน พัฒนาการ ของ ซอฟต์แวร์

ใน การ ปฏิบัติ มี การ ใช้ วิธี การ ที่ เป็น ทาง การ ใน อุตสาหกรรม ที่ ปลอด ภัย เช่น สเปซ, รถ พยาบาล, และ การ ดู แล สุขภาพ.

การ ศึกษา กรณี ต่าง ๆ และ ตัว อย่าง ที่ เป็น จริง ของ โลก

หลายองค์กรได้รวมวิธีการอย่างเป็นทางการ เข้ากับงานของตนสําเร็จ ตัวอย่างเช่น บริษัทอรรถอากาศแห่งยุโรป ได้ใช้การตรวจสอบอย่างเป็นทางการเพื่อตรวจสอบความปลอดภัยของซอฟต์แวร์ของโครงการนี้

  • ความปลอดภัยของซอฟต์แวร์เพิ่มเติม
  • การ ตรวจ พบ ข้อ บกพร่อง ของ การ ออก แบบ ตั้ง แต่ วัย เยาว์
  • ค่าใช้จ่ายการพัฒนาที่ลดลง
  • ปรับ ปรุง การ ทํา ตาม มาตรฐาน