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