การออกแบบและพัฒนาระบบการนำเสนอข้อกำหนดรูปนัยภาษาเซดด้วยเอ็กซ์เอ็มแอล
วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2544
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Language: | Thai |
| Published: |
จุฬาลงกรณ์มหาวิทยาลัย
2009
|
| Subjects: | |
| Online Access: | http://cuir.car.chula.ac.th/handle/123456789/9399 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Chulalongkorn University |
| Language: | Thai |
| id |
th-cuir.9399 |
|---|---|
| record_format |
dspace |
| spelling |
th-cuir.93992009-07-30T03:31:08Z การออกแบบและพัฒนาระบบการนำเสนอข้อกำหนดรูปนัยภาษาเซดด้วยเอ็กซ์เอ็มแอล Design and development of a representation for Z formal specification with XML รัฐเขต หาญชนะ วิวัฒน์ วัฒนาวุฒิ จุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์ เอ็กซ์เอ็มแอล เซด (ภาษาคอมพิวเตอร์) วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2544 วิทยานิพนธ์นี้ได้ออกแบบและพัฒนาระบบการนำเสนอข้อกำหนดรูปนัยภาษาเซดด้วยเอกสารเอ็กซ์เอ็มแอล ซึ่งประกอบด้วยการออกแบบและพัฒนา โปรแกรมประยุกต์ของเอ็กซ์เอ็มแอลในรูปแบบของเอกสาร 3 ประเภทคือ เอกสารเค้าร่างเซดเอ็กซ์เอ็มแอล ทำหน้าที่กำหนดและตรวจสอบโครงสร้างของข้อกำหนดรูปนัยภาษาเซดที่เขียนด้วยไวยากรณ์เอ็กซ์เอ็มแอลให้อยู่ในรูปแบบที่ถูกต้องสมบูรณ์เอกสารเซดเอ็กซ์เอ็มแอลดีทีดี ทำหน้าที่ประกาศข้อกำหนด การอ้างอิงถึงสัญลักษณ์ทางคณิตศาสตร์ที่มีการใช้ในข้อกำหนดรูปนัยภาษาเซดกับชุดอักขระยูนิโคด และเอกสารเอ็กซ์เอสแอลสไตล์ชีท ทำหน้าที่แจงส่วนไวยากรณ์ภาษาเซด และแปลงข้อกำหนดรูปนัยภาษาเซดในรูปของเอกสารเอ็กซ์เอ็มแอลเป็นเอกสารเอชทีเอ็มแอล เพื่อที่จะสามารถแสดงผล ข้อกำหนดรูปนัยภาษาเซดในรูปแบบดังกล่าวบนเว็บเบราว์เซอร์ได้อย่างถูกต้อง อนึ่ง ระบบการนำเสนอข้อกำหนดรูปนัยภาษาเซด ด้วยเอ็กซ์เอ็มแอลที่พัฒนาขึ้นนี้ได้รับการทดสอบกับกรณีศึกษา และผลลัพธ์ได้รับการยืนยันว่าสามารถแสดงผลข้อกำหนดรูปนัยภาษาเซดอย่างถูกต้อง This thesis designs and develops a representation for Z specification by using XML document. The system is developed and constructed from three XML application documents as follows: Z/XML schema document-to specify and validate the structure of Z specification in well-formed XML document, Z/XML DTD (Document Type Definitions) - to specify the set of mathematical symbols used within Z specification and to reference Unicode characters, and Z/XSL (XML Stylesheet Language) - to parse the Z syntax and transform the XML document to HTML document for displaying on the World Wide Web browser. The system is tested and the results are correctly verified by using the case study 2009-07-30T03:31:08Z 2009-07-30T03:31:08Z 2544 Thesis 9740314503 http://cuir.car.chula.ac.th/handle/123456789/9399 th จุฬาลงกรณ์มหาวิทยาลัย 2995355 bytes application/pdf application/pdf จุฬาลงกรณ์มหาวิทยาลัย |
| institution |
Chulalongkorn University |
| building |
Chulalongkorn University Library |
| country |
Thailand |
| collection |
Chulalongkorn University Intellectual Repository |
| language |
Thai |
| topic |
เอ็กซ์เอ็มแอล เซด (ภาษาคอมพิวเตอร์) |
| spellingShingle |
เอ็กซ์เอ็มแอล เซด (ภาษาคอมพิวเตอร์) รัฐเขต หาญชนะ การออกแบบและพัฒนาระบบการนำเสนอข้อกำหนดรูปนัยภาษาเซดด้วยเอ็กซ์เอ็มแอล |
| description |
วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2544 |
| author2 |
วิวัฒน์ วัฒนาวุฒิ |
| author_facet |
วิวัฒน์ วัฒนาวุฒิ รัฐเขต หาญชนะ |
| format |
Theses and Dissertations |
| author |
รัฐเขต หาญชนะ |
| author_sort |
รัฐเขต หาญชนะ |
| title |
การออกแบบและพัฒนาระบบการนำเสนอข้อกำหนดรูปนัยภาษาเซดด้วยเอ็กซ์เอ็มแอล |
| title_short |
การออกแบบและพัฒนาระบบการนำเสนอข้อกำหนดรูปนัยภาษาเซดด้วยเอ็กซ์เอ็มแอล |
| title_full |
การออกแบบและพัฒนาระบบการนำเสนอข้อกำหนดรูปนัยภาษาเซดด้วยเอ็กซ์เอ็มแอล |
| title_fullStr |
การออกแบบและพัฒนาระบบการนำเสนอข้อกำหนดรูปนัยภาษาเซดด้วยเอ็กซ์เอ็มแอล |
| title_full_unstemmed |
การออกแบบและพัฒนาระบบการนำเสนอข้อกำหนดรูปนัยภาษาเซดด้วยเอ็กซ์เอ็มแอล |
| title_sort |
การออกแบบและพัฒนาระบบการนำเสนอข้อกำหนดรูปนัยภาษาเซดด้วยเอ็กซ์เอ็มแอล |
| publisher |
จุฬาลงกรณ์มหาวิทยาลัย |
| publishDate |
2009 |
| url |
http://cuir.car.chula.ac.th/handle/123456789/9399 |
| _version_ |
1681411506529370112 |