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