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/65995
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorวิวัฒน์ วัฒนาวุฒิ-
dc.contributor.authorสุภัทรา นภาภาค-
dc.contributor.otherจุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์-
dc.date.accessioned2020-05-25T05:03:07Z-
dc.date.available2020-05-25T05:03:07Z-
dc.date.issued2546-
dc.identifier.isbn9741737998-
dc.identifier.urihttp://cuir.car.chula.ac.th/handle/123456789/65995-
dc.descriptionวิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2546en_US
dc.description.abstractงานวิจัยนี้มีวัตถุประสงค์เพื่อนำเสนอกฎการแปลง และพัฒนาเครื่องมือแปลงแผนภาพคลาสเป็นข้อกำหนดเซด โดยข้อกำหนดรูปนัยที่เป็นผลลัพธ์ครอบคลุมข้อกำหนดรูปนัยของคุณสมบัติเชิงเสถียรของคลาส นอกจากนี้ ข้อกำหนดรูปนัยได้รับการพิจารณาเพื่อแบ่งละเอียดสำหรับอธิบายคุณสมบัติ เชิงเสถียรของอ็อบเจกต์และความสัมพันธ์ระหว่างอ็อบเจกต์คือความสัมพันธ์แอสโซซิเอชัน ความสัมพันธ์แอกริเกชัน ความสัมพันธ์คอมโพสิชัน และความสัมพันธ์เจเนอรัลไลเซชัน งานวิจัยนี้ได้นำเสนอข้อกำหนดรูปนัยของการดำเนินการพื้นฐานของเมตาคลาสสำหรับแผนภาพคลาสหลัก ได้แก่ การเพิ่ม อ็อบเจกต์ การลบอ็อบเจ็กต์ และการแก้ไขค่าในลักษณะประจำของออบเจกต์อีกเช่นกัน ข้อกำหนดรูปนัยที่เป็นผลลัพธ์จากโปรแกรมที่พัฒนา ได้รับการตรวจสอบความถูกต้องของวากยสัมพันธ์และการวิเคราะห์ข้อกำหนดจากโปรแกรมพิสูจน์ Z/EVES ซึ่งการวิเคราะห์ทำโดยการสร้างเงื่อนไขก่อน การสร้างกรณีทดสอบ และการทดสอบทฤษฎีบท-
dc.description.abstractalternativeThe purposes of this research are to propose transformation rules and to develop a transformation tool for translating a class diagram into z specification. The final z specification covers structural property of class diagram. Moreover, the final Z specification is refined to represent the structural property of objects and their relationships - association, aggregation, composition and generalization. This research provides a formal specification of the primitive operations of metaclasses which include operations for adding new objects, removing objects, and changing attribute value of the objects, as well. The Z specification generated from the transformation tool has been checked and analysed by the Z/EVES prover tool in several approaches such as preconditions, test cases, and test theorems.-
dc.language.isothen_US
dc.publisherจุฬาลงกรณ์มหาวิทยาลัยen_US
dc.rightsจุฬาลงกรณ์มหาวิทยาลัยen_US
dc.subjectยูเอ็มแอล (วิทยาการคอมพิวเตอร์)en_US
dc.subjectวิธีเชิงวัตถุ (วิทยาการคอมพิวเตอร์)en_US
dc.subjectวิธีรูปนัย (วิทยาการคอมพิวเตอร์)en_US
dc.subjectซอฟต์แวร์ -- การพัฒนาen_US
dc.subjectUML ‪(Computer science)‬en_US
dc.subjectObject-oriented methods ‪(Computer science)‬en_US
dc.subjectFormal methods ‪(Computer science)‬en_US
dc.subjectComputer software -- Developmenten_US
dc.titleการแปลงแผนภาพคลาสเป็นข้อกำหนดเซดen_US
dc.title.alternativeTransformation of a class diagram into Z specificationen_US
dc.typeThesisen_US
dc.degree.nameวิทยาศาสตรมหาบัณฑิตen_US
dc.degree.levelปริญญาโทen_US
dc.degree.disciplineวิทยาศาสตร์คอมพิวเตอร์en_US
dc.degree.grantorจุฬาลงกรณ์มหาวิทยาลัยen_US
dc.email.advisorwiwat@chula.ac.th-
Appears in Collections:Eng - Theses

Files in This Item:
File Description SizeFormat 
Supattara_na_front_p.pdfหน้าปก บทคัดย่อ และสารบัญ860.15 kBAdobe PDFView/Open
Supattara_na_ch1_p.pdfบทที่ 1707.77 kBAdobe PDFView/Open
Supattara_na_ch2_p.pdfบทที่ 2982.4 kBAdobe PDFView/Open
Supattara_na_ch3_p.pdfบทที่ 31.2 MBAdobe PDFView/Open
Supattara_na_ch4_p.pdfบทที่ 4823.13 kBAdobe PDFView/Open
Supattara_na_ch5_p.pdfบทที่ 52.05 MBAdobe PDFView/Open
Supattara_na_ch6_p.pdfบทที่ 6674.32 kBAdobe PDFView/Open
Supattara_na_back_p.pdfรายการอ้างอิง และภาคผนวก1.48 MBAdobe PDFView/Open
Show simple item record


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