บทความวิจัยพ.ศ. 2561Validate UML model and OCL expressions using USE Tool พ.ศ. 2561 ติดต่อนักวิจัยแชร์ บันทึกเข้าสู่ระบบเพื่อบันทึกคำสำคัญStatic and dynamicVerification and validationOCL constraintsUnified Modelling Language (UML) and Object Constraints Language (OCL)งานวิจัยในหัวข้อใกล้เคียงTransformation of UML class diagram into OWL Ontology พ.ศ. 2563Adaptive online module prototype for learning unified modelling language (UML) พ.ศ. 2559Dependency Types Validation of Precedence Diagram Method Using Ontology จุฬาลงกรณ์มหาวิทยาลัย พ.ศ. 2561An integration of uml use case diagram and activity diagram with Z language for formalization of library management system พ.ศ. 2562Test case generation model for UML diagrams Universiti Utara Malaysia พ.ศ. 2560