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