formal transformation เปนการเปลี่ยนสมการทางคณิตศาสตรใหเปน code integration and system testing คือการทดสอบระบบสุดทาย หลังจากเปลี่ยนมาเปน code เรียบรอยแลว โดยมากหากพัฒนามาดวยวิธีนี้ การ testing มักจะไมพบขอผิดพลาดหรือผิดพลาดนอยมาก
ปญหาของ formal system development
1.ตองการทีมงานพัฒนาที่มีความสามารถมาก 2.ในบางระบบไมสามารถใช formal system development ในการพัฒนาได เชน ระบบ user interface หรือระบบที่ไมมีรูปแบบตายตัว 4.Reuse – oriented development