Another common paradigm is to find

Another common paradigm is to find a better way to evaluate a formalizable property of a software system, develop a formal model that supports inference, and to show that the new model allows formal analysis or proof of the properties of interest.

0/5000

จาก: -

เป็น: -

ผลลัพธ์ (ไทย) 1: [สำเนา]

คัดลอก!

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

การแปล กรุณารอสักครู่..

ผลลัพธ์ (ไทย) 2:[สำเนา]

คัดลอก!

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

การแปล กรุณารอสักครู่..

ผลลัพธ์ (ไทย) 3:[สำเนา]

คัดลอก!

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

การแปล กรุณารอสักครู่..

ภาษาอื่น ๆ

การสนับสนุนเครื่องมือแปลภาษา: กรีก, กันนาดา, กาลิเชียน, คลิงออน, คอร์สิกา, คาซัค, คาตาลัน, คินยารวันดา, คีร์กิซ, คุชราต, จอร์เจีย, จีน, จีนดั้งเดิม, ชวา, ชิเชวา, ซามัว, ซีบัวโน, ซุนดา, ซูลู, ญี่ปุ่น, ดัตช์, ตรวจหาภาษา, ตุรกี, ทมิฬ, ทาจิก, ทาทาร์, นอร์เวย์, บอสเนีย, บัลแกเรีย, บาสก์, ปัญจาป, ฝรั่งเศส, พาชตู, ฟริเชียน, ฟินแลนด์, ฟิลิปปินส์, ภาษาอินโดนีเซี, มองโกเลีย, มัลทีส, มาซีโดเนีย, มาราฐี, มาลากาซี, มาลายาลัม, มาเลย์, ม้ง, ยิดดิช, ยูเครน, รัสเซีย, ละติน, ลักเซมเบิร์ก, ลัตเวีย, ลาว, ลิทัวเนีย, สวาฮิลี, สวีเดน, สิงหล, สินธี, สเปน, สโลวัก, สโลวีเนีย, อังกฤษ, อัมฮาริก, อาร์เซอร์ไบจัน, อาร์เมเนีย, อาหรับ, อิกโบ, อิตาลี, อุยกูร์, อุสเบกิสถาน, อูรดู, ฮังการี, ฮัวซา, ฮาวาย, ฮินดี, ฮีบรู, เกลิกสกอต, เกาหลี, เขมร, เคิร์ด, เช็ก, เซอร์เบียน, เซโซโท, เดนมาร์ก, เตลูกู, เติร์กเมน, เนปาล, เบงกอล, เบลารุส, เปอร์เซีย, เมารี, เมียนมา (พม่า), เยอรมัน, เวลส์, เวียดนาม, เอสเปอแรนโต, เอสโทเนีย, เฮติครีโอล, แอฟริกา, แอลเบเนีย, โคซา, โครเอเชีย, โชนา, โซมาลี, โปรตุเกส, โปแลนด์, โยรูบา, โรมาเนีย, โอเดีย (โอริยา), ไทย, ไอซ์แลนด์, ไอร์แลนด์, การแปลภาษา.