CORE
COnnecting
REpositories

    46 research outputs found

    확장된 C CROSS REFERENCER의 설계 및 구현

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    KAIST Institutional Repository

    정적 분석 정보를 이용한 병행 프로그램 재수행 방법

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    KAIST Institutional Repository

    페트리 네트를 이용한 서비스 특징의 모델링 및 서비스 상호작용의 검사

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    KAIST Institutional Repository

    유한 상태 기계 형태의 명세를 사용하는 클래스의 기능적 테스팅

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    KAIST Institutional Repository

    C 언어 프로그램의 테스팅 환경

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    KAIST Institutional Repository

    분산 실시간 시스템에서의 선후 관계를 고려한 태스크 할당

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    KAIST Institutional Repository

    Design of a Module Interconnection Language and Its Processor

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    KAIST Institutional Repository

    재사용을 위한 소프트웨어 부품의 분류 및 검색 방법 연구

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    KAIST Institutional Repository

    A Design of An Experimental Programming Support System

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    KAIST Institutional Repository

    프로그램 명세를 위한 Pseudo Code Processor의 개발

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    KAIST Institutional Repository
    corecore