124 research outputs found

    Statechart의 실시간 성질의 정형적인 명세와 증명 방법

    No full text

    ASADAL : A System Analysis and Design Tool

    No full text
    1

    소프트웨어의 생산성 및 품질을 획기적으로 향상시킬 수 있는 제품계열 기반의 개발 방법론

    No full text
    2

    Mobile UI Model: 모바일 응용 SW 설계를 위한 모델

    No full text
    2

    Product Line Engineering for Embedded Systems

    No full text
    1

    Model-Based Software Engineering: A New Challenge

    No full text
    1
    corecore