| ชื่อเรื่อง | : | การสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซด |
| นักวิจัย | : | นุชรี ลาภจิตรกุศล |
| คำค้น | : | โปรลอก (ภาษาคอมพิวเตอร์) , ซอฟต์แวร์ -- การพัฒนา , แซ็ด (ภาษาคอมพิวเตอร์) |
| หน่วยงาน | : | จุฬาลงกรณ์มหาวิทยาลัย |
| ผู้ร่วมงาน | : | วิวัฒน์ วัฒนาวุฒิ , จุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์ |
| ปีพิมพ์ | : | 2543 |
| อ้างอิง | : | 9743464751 , http://cuir.car.chula.ac.th/handle/123456789/5536 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2543 วิทยานิพนธ์นี้ได้ออกแบบขั้นตอนวิธีและพัฒนาเครื่องมือสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซด โดยใช้ข้อกำหนดรูปนัยในรูปสัญกรณ์เซดซึ่งอยู่ในรูปแทคของลาเทกซ์เป็นข้อมูลนำเข้า นอกจากนี้ได้นำเสนอไลบราลีสำหรับอธิบายตัวดำเนินการของสัญกรณ์เซดในรูปกฎของภาษาโพรล็อก กระบวนการสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซดประกอบด้วย 2 ขั้นตอนวิธีหลักคือ ขั้นตอนวิธีการเรียงลำดับภาคแสดง และขั้นตอนวิธีการแปลงข้อกำหนดรูปนัยในรูปสัญกรณ์เซดเป็นโพรล็อก ขั้นตอนวิธีการเรียงลำดับภาคแสดงทำการลำดับภาคแสดงในส่วนสัจพจน์ของข้อกำหนดรูปนัยในรูปสัญกรณ์เซดให้ถูกต้อง ส่วนขั้นตอนวิธีการแปลงข้อกำหนดรูปนัยในรูปสัญกรณ์เซดเป็นโพรล็อกจะได้ผลลัพธ์โปรแกรมโพรล็อกที่แสดงถึงข้อกำหนดที่เป็นข้อมูลเข้า ผลลัพธ์โปรแกรมโพรล็อกที่ได้ดังกล่าวสามารถแสดงฟังก์ชันการทำงานของข้อกำหนดรูปนัยในรูปสัญกรณ์เซดได้อย่างครบถ้วนในระยะต้นของการพัฒนาซอฟต์แวร์ |
| บรรณานุกรม | : |
นุชรี ลาภจิตรกุศล . (2543). การสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซด.
กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย. นุชรี ลาภจิตรกุศล . 2543. "การสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซด".
กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย. นุชรี ลาภจิตรกุศล . "การสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซด."
กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย, 2543. Print. นุชรี ลาภจิตรกุศล . การสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซด. กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย; 2543.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
