The emergence of formal model helps

The emergence of formal model helps to solve the new problems. This new problems lie in the fact that natural language fails to describe user requirement, ambiguity, inconsistency and incompleteness so much so that the quality of the software will not be guaranteed. With mathematical rigor, the people rolled out formal model and the new problems have been solved.

ผลลัพธ์ (ไทย) 1:

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

ผลลัพธ์ (ไทย) 2:

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

ผลลัพธ์ (ไทย) 3:

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