T1, T2, T3, T4, Transformational st

T1, T2, T3, T4, Transformational steps

P1, P2, P3, P4, Process steps to transform the formal specification

R1, R2, R3, Refinements

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

T1, T2, T3, T4 ภาวะขั้นตอนP1, p 2, P3, P4 กระบวนการขั้นตอนในการแปลงข้อมูลจำเพาะอย่างเป็นทางการR1, R2, R3, Refinements

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

T1, T2, T3, T4, การเปลี่ยนแปลงขั้นตอนP1, P2, P3, P4, กระบวนการขั้นตอนที่จะเปลี่ยนสเปคอย่างเป็นทางการR1, R2, R3, การปรับแต่ง

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

T1 , T2 , T3 , T4 , การเปลี่ยนแปลงขั้นตอน

P1 , P2 , P3 P4 กระบวนการขั้นตอนการเปลี่ยนสเปคอย่างเป็นทางการ

R1 , R2 , R3 การกลั่นกรอง ,