[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
Kim, Tai-hoon; Adeli, Hojjat; Kim, Haeng-kon; Kang, Heau-jo; Kim, Kyung Jung; Kiumi, Akingbehin; Kang, Byeong-Ho
- 作者Kim, Tai-hoon; Adeli, Hojjat; Kim, Haeng-kon; Kang, Heau-jo; Kim, Kyung Jung; Kiumi, Akingbehin; Kang, Byeong-Ho
- 文件大小201.36KB
- 发表时间2011
- DOI10.1007/978-3-642-27207-3_10
- 页码85-96