| ชื่อเรื่อง | : | การสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซต |
| นักวิจัย | : | นุชรี ลาภจิตรกุศล |
| คำค้น | : | FORMAL SPECIFICATION , Z NOTATION , PROLOG PROGRAMS |
| หน่วยงาน | : | ฐานข้อมูลวิทยานิพนธ์ไทย |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2543 |
| อ้างอิง | : | http://www.thaithesis.org/detail.php?id=1082543001193 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | วิทยานิพนธ์นี้ได้ออกแบบขั้นตอนวิธีและพัฒนาเครื่องมือสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซต โดยใช้ข้อกำหนดรูปนัยในรูปสัญกรณ์เซตซึ่งอยู่ในรูปแทคของลาเทกซ์เป็นข้อมูลนำเข้า นอกจากนี้ได้นำเสนอไลบราลีสำหรับอธิบายตัวดำเนินการของสัญกรณ์เซดในรูปกฏของภาษาโพรล็อกกระบวนการสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซดประกอบด้วย 2 ขั้นตอนวิธีหลักคือขั้นตอนวิธีการเรียงลำดับภาคแสดง และขั้นตอนวิธีการแปลงข้อกำหนดรูปนัยในรูปสัญกรณ์เซดเป็นโพรล็อกขั้นตอนวิธีการเรียงลำดับภาคแสดงทำการลำดับภาคแสดงในส่วนสัจพจน์ของข้อกำหนดรูปนัยในรูปสัญกรณ์เซดให้ถูกต้องส่วนขั้นตอนวิธีการแปลงข้อกำหนดรูปนัยในรูปสัญกรณ์เซดเป็นโพรล็อกจะได้ผลลัพธ์โปรแกรมโพรล็อกที่แสดงถึงข้อกำหนดที่เป็นข้อมูลเข้า ผลลัพธ์โปรแกรมโพรล็อกที่ได้ดังกล่าวสามารถแสดงฟังก์ชันการทำงานของข้อกำหนดรูปนัยในรูปสัญกรณ์เซดได้อย่างครบถ้วนในระยะต้นของการพัฒนาซอฟต์แวร์ |
| บรรณานุกรม | : |
นุชรี ลาภจิตรกุศล . (2543). การสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซต.
กรุงเทพมหานคร : ฐานข้อมูลวิทยานิพนธ์ไทย. นุชรี ลาภจิตรกุศล . 2543. "การสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซต".
กรุงเทพมหานคร : ฐานข้อมูลวิทยานิพนธ์ไทย. นุชรี ลาภจิตรกุศล . "การสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซต."
กรุงเทพมหานคร : ฐานข้อมูลวิทยานิพนธ์ไทย, 2543. Print. นุชรี ลาภจิตรกุศล . การสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซต. กรุงเทพมหานคร : ฐานข้อมูลวิทยานิพนธ์ไทย; 2543.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
