ridm@nrct.go.th   ระบบคลังข้อมูลงานวิจัยไทย   รายการโปรดที่คุณเลือกไว้

การทวนสอบแบบจำลองการวิเคราะห์สำหรับโปรแกรมระบบวัตถุพร้อมทำงานเชิงโครงสร้าง

หน่วยงาน ฐานข้อมูลวิทยานิพนธ์ไทย

รายละเอียด

ชื่อเรื่อง : การทวนสอบแบบจำลองการวิเคราะห์สำหรับโปรแกรมระบบวัตถุพร้อมทำงานเชิงโครงสร้าง
นักวิจัย : สุวิช ถิระโคตร
คำค้น : VERIFICATION , AXIOMATIC SYSTEM , ACTIVE-OBJECT SYSTEM
หน่วยงาน : ฐานข้อมูลวิทยานิพนธ์ไทย
ผู้ร่วมงาน : -
ปีพิมพ์ : 2545
อ้างอิง : http://www.thaithesis.org/detail.php?id=1082545000846
ที่มา : -
ความเชี่ยวชาญ : -
ความสัมพันธ์ : -
ขอบเขตของเนื้อหา : -
บทคัดย่อ/คำอธิบาย :

งานวิจัยนี้มีจุดมุ่งหมายเพื่อนำเสนอการทวนสอบแบบจำลองการวิเคราะห์สำหรับโปรแกรมระบบวัตถุพร้อมทำงาน ซึ่งเป็นระบบที่วัตถุต่าง ๆ ภายในระบบทำงานพร้อม ๆ กันโดยไม่ต้องรอรับคำร้องขอจากวัตถุอื่น ๆ แบบจำลองการวิเคราะห์สำหรับระบบวัตถุพร้อมทำงานประกอบด้วยแผนภาพยูสเคส แผนภาพคลาส และแผนภาพสเตทชาร์ดแบบเพิ่มเติมในงานวิจัยนี้ ผู้วิจัยได้สร้างระบบวัตถุพร้อมทำงานเชิงรูปนัย แอกเซียมสำหรับระบบวัตถุพร้อมทำงาน เพื่อใช้สำหรับทวนสอบแบบจำลองการวิเคราะห์สำหรับระบบวัตถุพร้อมทำงานผู้วิจัยได้ทดลองการทวนสอบแบบจำลองการวิเคราะห์สำหรับระบบวัตถุพร้อมทำงานกับตัวอย่างระบบ 3 ตัวอย่างคือระบบเครื่องปรับอากาศ ระบบสัญญาณไฟจราจร และระบบการปรับระดับความดังเสียงโทรทัศน์ ผลที่ได้คือระบบตัวอย่างได้ผลการวิเคราะห์ระบบที่ถูกต้อง

บรรณานุกรม :
สุวิช ถิระโคตร . (2545). การทวนสอบแบบจำลองการวิเคราะห์สำหรับโปรแกรมระบบวัตถุพร้อมทำงานเชิงโครงสร้าง.
    กรุงเทพมหานคร : ฐานข้อมูลวิทยานิพนธ์ไทย.
สุวิช ถิระโคตร . 2545. "การทวนสอบแบบจำลองการวิเคราะห์สำหรับโปรแกรมระบบวัตถุพร้อมทำงานเชิงโครงสร้าง".
    กรุงเทพมหานคร : ฐานข้อมูลวิทยานิพนธ์ไทย.
สุวิช ถิระโคตร . "การทวนสอบแบบจำลองการวิเคราะห์สำหรับโปรแกรมระบบวัตถุพร้อมทำงานเชิงโครงสร้าง."
    กรุงเทพมหานคร : ฐานข้อมูลวิทยานิพนธ์ไทย, 2545. Print.
สุวิช ถิระโคตร . การทวนสอบแบบจำลองการวิเคราะห์สำหรับโปรแกรมระบบวัตถุพร้อมทำงานเชิงโครงสร้าง. กรุงเทพมหานคร : ฐานข้อมูลวิทยานิพนธ์ไทย; 2545.