Home > Term: ความถูกต้องบางส่วน
ความถูกต้องบางส่วน
ในการพิสูจน์ความถูกต้อง กำหนดระบุว่า assertions ผลลัพธ์ของโปรแกรมตามตรรกะจาก assertions ที่ป้อนข้อมูล และขั้นตอนการประมวลผล
- Jenis Kata: noun
- Industri / Domain: Komputer; Perangkat lunak
- Kategori: Software engineering
- Organization: IEEE Computer Society
0
Penulis
- Ausanat
- 100% positive feedback
(Bangkok, Thailand)