a specification language targeted a

a specification language targeted at the unambiguous specification and description of the behaviour of reactive and distributed systems.

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

ภาษาข้อมูลจำเพาะระบุชัดเจนและอธิบายพฤติกรรมของระบบแบบกระจาย และปฏิกิริยา

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

ภาษาสเปเป้าหมายที่สเปคที่ชัดเจนและรายละเอียดของการทำงานของระบบปฏิกิริยาและจัดจำหน่าย

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

สเปคภาษาเป้าหมายที่กำหนดชัดเจนและอธิบายพฤติกรรมของปฏิกิริยาและระบบแบบกระจาย