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

The transformation process consist of following steps

1. Informal requirements are analyzed and functions are specified formally.

2. In next step, the development process takes this formal specification and transforms it into a more detailed, less abstract formal description.

3. This description becomes executable by some abstract processor.

4. If executability in the transformation process is achieved soon, then the executable description may be viewed as an evolutionary prototypes that is obtained as a by product of the transformation process.

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

T1, T2, T3, T4 ภาวะขั้นตอนP1, p 2, P3, P4 กระบวนการขั้นตอนในการแปลงข้อมูลจำเพาะอย่างเป็นทางการR1, R2, R3, Refinements กระบวนการแปลงประกอบด้วยขั้นตอนต่อไปนี้1. เป็นข้อกำหนดลักษณะ และฟังก์ชันมีระบุอย่างเป็นกิจจะลักษณะ2. ในขั้นตอนต่อไป การพัฒนาใช้สเปคนี้อย่างเป็นทางการ และแปลงมันเป็นคำอธิบายที่เป็นนามธรรมน้อย รายละเอียดเพิ่มเติมคำอธิบายนี้จะกระทำ โดยตัวประมวลผลบางอย่างนามธรรม4. ถ้าทำ executability ในการแปลงเร็ว แล้วอธิบายการปฏิบัติอาจดูเป็นต้นแบบการวิวัฒนาการที่ได้รับเป็นแบบตามผลิตภัณฑ์ของกระบวนการเปลี่ยนแปลงได้

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

T1, T2, T3, T4, การเปลี่ยนแปลงขั้นตอนP1, P2, P3, P4, กระบวนการขั้นตอนที่จะเปลี่ยนสเปคอย่างเป็นทางการR1, R2, R3, การปรับแต่งกระบวนการเปลี่ยนแปลงประกอบด้วยขั้นตอนดังต่อไปนี้1 ข้อกำหนดทางการมีการวิเคราะห์และฟังก์ชั่นที่ระบุไว้อย่างเป็นทางการ. 2 ในขั้นตอนต่อไปกระบวนการพัฒนาที่ใช้สเปคอย่างเป็นทางการนี้และแปลงมันเป็นรายละเอียดเพิ่มเติมคำอธิบายอย่างเป็นทางการนามธรรมน้อย. 3 คำอธิบายนี้จะกลายเป็นที่ปฏิบัติการโดยบางหน่วยประมวลผลที่เป็นนามธรรม. 4 หาก executability ในกระบวนการเปลี่ยนแปลงจะประสบความสำเร็จในเร็ว ๆ นี้แล้วคำอธิบายปฏิบัติการอาจถูกมองว่าเป็นวิวัฒนาการต้นแบบที่ได้รับเป็นไปตามผลิตภัณฑ์ของกระบวนการเปลี่ยนแปลง

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

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

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

R1 , R2 , R3
,
การกลั่นกรองกระบวนการเปลี่ยนแปลงประกอบด้วยขั้นตอนต่อไปนี้

1 ความต้องการทางการศึกษาและหน้าที่ที่ระบุไว้อย่างเป็นทางการ

2 ในขั้นตอนต่อไป กระบวนการพัฒนาใช้ข้อกำหนดรูปนัยและแปลงลงในรายละเอียดเพิ่มเติมบทคัดย่อและเป็นทางการรายละเอียด

3 รายละเอียดนี้จะประมวลผลด้วยโปรเซสเซอร์นามธรรม

4 . ถ้า executability ในกระบวนการเปลี่ยนแปลงจะเกิดขึ้นในไม่ช้า แล้วรายละเอียดที่อาจจะมองว่าเป็นวิวัฒนาการต้นแบบที่ได้รับเป็นผลพลอยได้ของกระบวนการการเปลี่ยนแปลง