![[Communications in Computer and Information Science] Software Engineering, Business Continuity, and Education Volume 257 || A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams]()
[Communications in Computer and Information Science] Software Engineering, Business Continuity, and Education Volume 257 || A Prolog Based Approach to Consistency Checking of UML Class and Sequence DiagramsKim, Tai-hoon; Adeli, Hojjat; Kim, Haeng-kon; Kang, Heau-jo; Kim, Kyung Jung; Kiumi, Akingbehin; Kang, Byeong-Ho · 2011