1. CUIR at Chulalongkorn University
  2. Faculty and Institute
  3. Faculty of Engineering - Eng
  4. Eng - Theses
Please use this identifier to cite or link to this item: https://cuir.car.chula.ac.th/handle/123456789/26334
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorวิวัฒน์ วัฒนาวุฒิ-
dc.contributor.authorชนาเนตร อรรถยุกติ-
dc.contributor.otherจุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์-
dc.date.accessioned2012-11-27T04:02:37Z-
dc.date.available2012-11-27T04:02:37Z-
dc.date.issued2546-
dc.identifier.isbn9741743122-
dc.identifier.urihttp://cuir.car.chula.ac.th/handle/123456789/26334-
dc.descriptionวิทยานิพนธ์ (วศ.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2546en
dc.description.abstractวิทยานิพนธ์นี้ มีวัตถุประสงค์เพื่อนำเสนอขั้นตอนการสร้างข้อกำหนดคุณสมบัติเชิงพฤติกรรมของแผนภาพเอนทิตีและความสัมพันธ์โดยใช้ภาษาเซด ข้อกำหนดรูปนัยประกอบด้วย 2 ส่วน คือ ส่วนโครงสร้างข้อมูลและส่วนการดำเนินการพื้นฐาน โดยส่วนโครงสร้างข้อมูล ชนิดข้อมูล เอนทิตี และความสัมพันธ์ จะถูกสร้างจากแผนภาพเอทิตีและความสัมพันธ์ และกฎที่ใช้ในการแปลงจำนวน 8 ข้อ ส่วนการดำเนินพื้นฐานการปรับปรุงข้อมูลและการค้นคืนข้อมูล จะถูกสร้างจากแผนภาพเชิงลำดับชั้น และกฎที่ใช้ในการแปลงจำนวน 20 ข้อ และได้พัฒนาเป็นเครื่องมือซอฟต์แวร์สำหรับสร้างข้อกำหนดภาษาเซด โดยผลลัพธ์ที่ได้อยู่ในรูปของแทคของลาเท็กซ์ ข้อกำหนดเซดที่ได้จากเครื่องซอฟต์แวร์ ได้รับการยืนยันว่ามีความถูกต้องตามวากยสัมพันธ์ด้วยโปรแกรมพิสูจน์ Z/EVES และตรวจสอบความถูกต้องของเงื่อนไขก่อน-
dc.description.abstractalternativeThis thesis proposes a procedure to generate the Z specification of behavioral properties of Entity-Relationship diagram. The formal specification consists of two parts: data structure and basic operations. The data structure – data type, Entity Relationship will be created based on Entity-Relationship diagram and eight conversion rules. The basic operations – data manipulation, data retrieval will be created based on hierarchical diagram and twenty conversion rules. A tool to generate Z specification has been developed and the result that generated from the tool is in LaTex file format. The Z specification generated from the tool has been correctly verified by using Z/EVES and precondition checking.-
dc.format.extent6068801 bytes-
dc.format.extent4877087 bytes-
dc.format.extent36874087 bytes-
dc.format.extent2663408 bytes-
dc.format.extent47877333 bytes-
dc.format.extent5877207 bytes-
dc.format.extent34834725 bytes-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypeapplication/pdf-
dc.language.isothes
dc.publisherจุฬาลงกรณ์มหาวิทยาลัยen
dc.rightsจุฬาลงกรณ์มหาวิทยาลัยen
dc.subjectเซด (ภาษาคอมพิวเตอร์)-
dc.subjectซอฟต์แวร์ -- การพัฒนา-
dc.subjectโครงสร้างข้อมูล (วิทยาการคอมพิวเตอร์)-
dc.subjectการประมวลผลข้อมูลอิเล็กทรอนิกส์-
dc.titleการสร้างข้อกำหนดคุณสมบัติเชิงพฤติกรรมของแผนภาพเอนทิตีและความสัมพันธ์โดยใช้ภาษาเซดen
dc.title.alternativeGenerating behavioral property specification of entity-relationship diagram using Zen
dc.typeThesises
dc.degree.nameวิทยาศาสตรมหาบัณฑิตes
dc.degree.levelปริญญาโทes
dc.degree.disciplineวิทยาศาสตร์คอมพิวเตอร์es
dc.degree.grantorจุฬาลงกรณ์มหาวิทยาลัยen
Appears in Collections:Eng - Theses

Files in This Item:
File Description SizeFormat 
Chananate_ar_front.pdf3.48 MBAdobe PDFView/Open
Chananate_ar_ch1.pdf1.03 MBAdobe PDFView/Open
Chananate_ar_ch2.pdf3.16 MBAdobe PDFView/Open
Chananate_ar_ch3.pdf9.06 MBAdobe PDFView/Open
Chananate_ar_ch4.pdf8.08 MBAdobe PDFView/Open
Chananate_ar_ch5.pdf14.48 MBAdobe PDFView/Open
Chananate_ar_ch6.pdf1.29 MBAdobe PDFView/Open
Chananate_ar_back.pdf31.77 MBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.