For instance, when a client breaks

For instance, when a client breaks a condition (client violation), a runtime error occurs.
The use of such pre- and postconditions and invariants to specify software contracts dates back to Hoare's 1969 paper on formal veri¯cation

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

เช่น เมื่อไคลเอนต์แบ่งเงื่อนไข (ไคลเอ็นต์ละเมิด), ข้อผิดพลาดรันไทม์ที่เกิดขึ้นใช้ของดังกล่าวก่อน และ postconditions และ invariants เพื่อระบุวันสัญญาซอฟต์แวร์ของ Hoare 1969 กระดาษไปในทาง veri¯cation

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

ตัวอย่างเช่นเมื่อลูกค้าแบ่งสภาพ (การละเมิดของลูกค้า), ข้อผิดพลาด runtime เกิดขึ้น.
ใช้ก่อนและ postconditions ดังกล่าวและค่าคงที่เพื่อระบุสัญญาซอฟแวร์วันที่กลับไป 1969 กระดาษโฮร์บนveri¯cationอย่างเป็นทางการ

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

ตัวอย่างเช่น เมื่อลูกค้าแบ่งเงื่อนไข ( ละเมิดลูกค้า ) , Runtime ข้อผิดพลาดเกิดขึ้น .
ใช้เช่นก่อนและ postconditions และผลยืนยงระบุสัญญาซอฟต์แวร์วันที่กลับไปฮอร์ของ 1969 บนกระดาษที่มีการ¯อย่างเป็นทางการ