基于UML活动图的软件过程建模合理性问题的研究
기우UML활동도적연건과정건모합이성문제적연구
Research on model checking of software process based on UML activity graph
저자의 최근 논문