DSpace at KOASAS
Browsing DSpace

Browse "CS-Theses_Ph.D.(박사논문) " by Author Kwon, Yong-Rae

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 18 of 18

1
(A) cohesion measure for classes in object-oriented systems = 객체지향 시스템 내의 클래스를 위한 새로운 응집도 척도link

Chae, Heung-Seok; 채흥석; et al, 한국과학기술원, 2000

2
(A) stream processing approach to dynamic analysis of structured specifications = 스트림 처리 방식을 이용한 구조적 명세의 동적 분석link

Kim, Myung Ho; 김명호; et al, 한국과학기술원, 1989

3
Analysis of functional requirements using constraints-based modular Petri Nets = 제약사항을 근거로 한 모듈화 페트리 네트를 사용한 함수적 요구사항의 분석link

Lee, Woo-Jin; 이우진; et al, 한국과학기술원, 1999

4
Change impact analysis and test case management for regression testing of object-oriented programs = 객체지향 프로그램의 회귀테스팅을 위한 수정영향분석 및 테스트케이스 관리link

Jang, Yoon-Kyu; 장윤규; et al, 한국과학기술원, 2003

5
Combining weak and strong mutation for Non-Interpretive java mutation system = 강/약 뮤테이션의 결합을 이용한 자바 프로그램 대상의 비해석 방식 뮤테이션 시스템link

Kim, Sang-Woon; 김상운; et al, 한국과학기술원, 2011

6
Fault-based distributed recovery block (FDRB) for switching systems = 교환시스템을 위한 결함 기반의 분산 복구 블록link

Lee, Byung-Sun; 이병선; et al, 한국과학기술원, 2003

7
Hybrid software architecture of knowledge-based signal inspection systems = 지식 기반형 신호 진단 시스템을 위한 복합형 소프트웨어 구조link

Kang, Soon-Ju; 강순주; et al, 한국과학기술원, 1995

8
Information theoretical complexity metrics for concurrent programs = 병행 프로그램을 위한 정보이론적 복잡도 척도link

Cha, Shin; 차신; et al, 한국과학기술원, 1995

9
Mutation testing of object-oriented features of Java = 자바프로그램의 객체지향 특성을 대상으로 하는 뮤테이션 시험기법link

Ma, Yu-Seung; 마유승; et al, 한국과학기술원, 2005

10
On some computational structures for parallel graph algorithms = 병렬 그래프 알고리즘을 위한 계산 구조에 관한 연구link

Kim, Tae-Nam; 김태남; Chwa, Kyung-Yong; Kwon, Yong-Rae; et al, 한국과학기술원, 1986

11
Outline font representations with structured description of characters = 글자의 구조적 묘사에 따른 윤곽선 글자꼴의 표현방식link

Lim, Soon-Bum; 임순범; et al, 한국과학기술원, 1992

12
Program restructuring approaches for software maintenance = 소프트웨어 유지보수를 위한 프로그램 재구성접근 방법link

Kim, Hyeon-Soo; 김현수; et al, 한국과학기술원, 1995

13
Program slicing based on specification = 명세에 기반한 프로그램 슬라이싱link

Lee, Wan-Kwon; 이완권; et al, 한국과학기술원, 2000

14
Specification and analysis of timing requirements in CBD approach using modular petri nets = 컴포넌트 기반 개발 방법론에서의 modular petri nets 를 이용한 시간 제약 사항의 명세 및 분석link

Lee, Ho-Kyoung; 이호경; et al, 한국과학기술원, 2007

15
Specification-based testing of java multithreaded programs utilizing equivalence relation on test sequences = 시험 시퀀스들의 동치 관계를 이용한 자바 다중스레드 프로그램의 명세 기반 시험기법link

Seo, Heui-Seok; 서희석; et al, 한국과학기술원, 2007

16
Systematic software testing approaches for specification and maintenacne phases = 명세와 유지보수 단계를 위한 체계적인 소프트웨어 테스팅 접근방법link

Chung, In-Sang; 정인상; et al, 한국과학기술원, 1993

17
Validation of timing and communication constraints in real-time parallel programs = 실시간 병렬 프로그램에 대한 시간 및 통신 제약 조건의 검증link

Bae, Hyun-Seop; 배현섭; et al, 한국과학기술원, 1999

18
Verification of intelligent network services by analyzing feature interactions using a petri net model = 페트리네트 모델을 사용한 서비스 상호작용 분석에 의한 지능망 서비스의 검증link

Choi, Jeong-Hun; 최정훈; et al, 한국과학기술원, 2003

Discover

rss_1.0 rss_2.0 atom_1.0