Digital Library


Search: "[ keyword: UML ]" (47)
    A Study on the Development of Standard Profiles Management System which supports the Technical Reference Model for Information Technology Architecture
    Jin Hyuk Yang, Young Do Kim, Hee Jun Chung, Jin Young Yang, Myong Hwan Yoo, Yu Gun Gong, In Jeong Chung, Jung Yup Kim, Hee Chang Chung The KIPS Transactions:PartD, Vol. 8, No. 6, pp. 665-672, Dec. 2001
    10.3745/KIPSTD.2001.8.6.665


    A Design of Efficient Object Management Repository Using Integration Management Model
    Su Kyun Sun, Yong Jea Song The KIPS Transactions:PartD, Vol. 8, No. 2, pp. 166-174, Apr. 2001
    10.3745/KIPSTD.2001.8.2.166


    Construction of Design Pattern Retrieval System using Pattern Information
    Gui Joung Kim, Young Jae Song The KIPS Transactions:PartD, Vol. 8, No. 1, pp. 88-98, Feb. 2001
    10.3745/KIPSTD.2001.8.1.88


    Model-Based Automatic Test Data Generation Method Using Custom Parser and SMT Solver
    Ki-Wook Shin, Dong-Jin Lim KIPS Transactions on Software and Data Engineering, Vol. 6, No. 8, pp. 385-390, Aug. 2017
    10.3745/KTSDE.2017.6.8.385
    Keywords: test case generation, Model-Based Development, Custom Parser, SMT Solver


    Analysis of Power Consumption for Embedded Software using UML State Machine Diagram
    Jang Eui Hong , Jae Wuk Lee The KIPS Transactions:PartD, Vol. 19, No. 4, pp. 281-292, Aug. 2012
    10.3745/KIPSTD.2012.19.4.281


    Task Extraction from Software Design Models to Improve Energy Efficiency of Embedded Software
    Jang Eui Hong , Doo Hwan Kim The KIPS Transactions:PartD, Vol. 18, No. 1, pp. 45-56, Feb. 2011
    10.3745/KIPSTD.2011.18.1.45


    Object Modeling for Mapping from XML Document and Query to UML Class Diagram based on XML-GDM
    Dae Hyun Park , Yong Sung Kim The KIPS Transactions:PartD, Vol. 17, No. 2, pp. 129-146, Apr. 2010
    10.3745/KIPSTD.2010.17.2.129


    Commonality and Variability Analysis Method for UML CASE Tool Frameworks
    Hwan Bok Choi , Eun Ser Lee , Yun Ho Kim The KIPS Transactions:PartD, Vol. 16, No. 6, pp. 927-934, Dec. 2009
    10.3745/KIPSTD.2009.16.6.927


    Comparison of Test Case Effectiveness Based on Dynamic Diagrams Using Mutation Testing
    Hyuck Su Lee , Choi Eun Man The KIPS Transactions:PartD, Vol. 16, No. 4, pp. 517-526, Aug. 2009
    10.3745/KIPSTD.2009.16.4.517


    A PIM/PSM Component Modeling Technique Based on 2+1 View Integrated Metamodel
    Chee Yang Song , Eun Sook Cho The KIPS Transactions:PartD, Vol. 16, No. 3, pp. 381-394, Jun. 2009
    10.3745/KIPSTD.2009.16.3.381