วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2544

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