In contrast, when using formalspeci

In contrast, when using formal
specification we begin by stating precisely “what needs to go right.” We first
specify what the system should do by
defining correctness properties, which
come in two varieties:

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

ในทางตรงข้าม เมื่อใช้อย่างเป็นทางการข้อมูลจำเพาะของเราเริ่มต้น โดยระบุชัดเจน "อะไรต้องไปทางขวา" เราครั้งแรกระบุสิ่งที่ระบบควรทำโดยกำหนดคุณสมบัติความถูกต้อง ซึ่งมีสองแบบ:

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

ในทางตรงกันข้ามเมื่อใช้อย่างเป็นทางการในสเปคที่เราจะเริ่มด้วยการระบุอย่างแม่นยำเราครั้งแรก "สิ่งที่ต้องไปขวา." ระบุสิ่งที่ระบบควรจะทำโดยการกำหนดคุณสมบัติถูกต้องซึ่งมาในสองสายพันธุ์:

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

ในทางตรงกันข้าม เมื่อเราเริ่มใช้อย่างเป็นทางการ
สเปคโดยระบุแน่นอน " สิ่งที่ต้องไปขวา ครั้งแรกเรา
ระบุสิ่งที่ระบบควรจะทำโดยการกำหนดคุณสมบัติถูกต้อง

ซึ่งมาในสองสายพันธุ์ :