บทความวิจัยพ.ศ. 2562
An 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
Search for a command to run...