บทความวิจัยพ.ศ. 2562An integration of uml use case diagram and activity diagram with Z language for formalization of library management system พ.ศ. 2562 ติดต่อนักวิจัยแชร์ บันทึกเข้าสู่ระบบเพื่อบันทึกคำสำคัญUnified modeling languageFormal SpecificationFormal methodZ languageงานวิจัยในหัวข้อใกล้เคียงThe Design of Population Data Application Using Unified Modeling LanguageAlim Hardiansyah พ.ศ. 2561Test case generation model for UML diagrams Universiti Utara Malaysia พ.ศ. 2560Using the object mapping approach from analysis to implementation for developing student registration system พ.ศ. 2562Transformation of UML class diagram into OWL Ontology พ.ศ. 2563Validate UML model and OCL expressions using USE Tool พ.ศ. 2561