วิทยานิพนธ์นี้ได้ออกแบบและพัฒนาระบบการนำเสนอข้อกำหนดรูปนัยภาษาเซดด้วยเอกสารเอ็กซ์เอ็มแอล ซึ่งประกอบด้วยการออกแบบและพัฒนาโปรแกรมประยุกต์ของเอ็กซ์เอ็มแอลในรูปแบบของเอกสาร 3 ประเภทคือ เอกสารเค้าร่างเซดเอ็กซ์เอ็มแอล ทำหน้าที่กำหนดและตรวจสอบโครงสร้างของข้อกำหนดรูปนัยภาษาเซดที่เขียนด้วยไวยากรณ์เอ็กซ์เอ็มแอลให้อยู่ในรูปแบบที่ถูกต้องสมบูรณ์เอกสารเซดเอ็กซ์เอ็มแอลดีทีดี ทำหน้าที่ประกาศข้อกำหนด การอ้างอิงถึงสัญลักษณ์ทางคณิตศาสตร์ที่มีการใช้ในข้อกำหนดรูปนัยภาษาเซดกับชุดอักขระยูนิโคด และเอกสารเอ็กซ์เอสแอลสไตล์ชีท ทำหน้าที่แจงส่วนไวยากรณ์ภาษาเซด และแปลงข้อกำหนดรูปนัยภาษาเซดในรูปของเอกสารเอ็กซ์เอ็มแอลเป็นเอกสารเอชทีเอ็มแอล เพื่อที่จะสามารถแสดงผลข้อกำหนดรูปนัยภาษาเซดในรูปแบบดังกล่าวบนเว็บเบราว์เซอร์ได้อย่างถูกต้อง อนึ่ง ระบบการนำเสนอข้อกำหนดรูปนัยภาษาเซด ด้วยเอ็กซ์เอ็มแอลที่พัฒนาขึ้นนี้ ได้รับการทดสอบกับกรณีศึกษา และผลลัพธ์ได้รับการยืนยันว่าสามารถแสดงผลข้อกำหนดรูปนัยภาษาเซดอย่างถูกต้อง