| ชื่อเรื่อง | : | On the semantics of unified modeling language diagrams using Z notation |
| นักวิจัย | : | Ekawit Nantajeewarawat , Ratanachai Sombatsrisomboon |
| คำค้น | : | Unified Modeling Language , UML diagrams , Z notation |
| หน่วยงาน | : | สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2547 |
| อ้างอิง | : | International journal of intelligent systems. 19,1-2 (2004) pp. 79-88 , 0884-8173 , http://dspace.library.tu.ac.th/handle/3517/1752 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | As a step toward the precise semantics of Unified Modeling Language (UML), this article uses the Z notation to develop formal specifications for two important parts of UML, i.e., class diagrams and sequence diagrams, and to formulate an appropriate interpretation structure for discussing the model theoretic semantics of these two kinds of diagrams. Deductive inference rules, which can be used for rigorously reasoning with UML diagrams, and conditions for checking the soundness of the rules are presented |
| บรรณานุกรม | : |
Ekawit Nantajeewarawat , Ratanachai Sombatsrisomboon . (2547). On the semantics of unified modeling language diagrams using Z notation.
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Ekawit Nantajeewarawat , Ratanachai Sombatsrisomboon . 2547. "On the semantics of unified modeling language diagrams using Z notation".
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Ekawit Nantajeewarawat , Ratanachai Sombatsrisomboon . "On the semantics of unified modeling language diagrams using Z notation."
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ , 2547. Print. Ekawit Nantajeewarawat , Ratanachai Sombatsrisomboon . On the semantics of unified modeling language diagrams using Z notation. กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ ; 2547.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
