| 1 | 4축 기준 굴곡점 추출에 의한 온라인 영숫자 인식 연구 = On-line alphanumeric charcter recognition by turning-point extraction based on 4 axeslink 윤석민; Yoon, Suk-Min; et al, 한국과학기술원, 1992 |
| 2 | (A) cohesion measure for classes in object-oriented systems = 객체지향 시스템 내의 클래스를 위한 새로운 응집도 척도link Chae, Heung-Seok; 채흥석; et al, 한국과학기술원, 2000 |
| 3 | (A) design and implementation of an experimental programming support system = 실험적인 Programming support system 의 설계 및 구현link Choi, Byoung-Ill; 최병일; et al, 한국과학기술원, 1985 |
| 4 | (A) graphical sticks editor with CIF code output = CIF 코드를 출력하는 Sticks 다이아그램 편집기link An, Jong-In; 안종인; Chung, Won-Lyang; Kwon, Yong-Rae; et al, 한국과학기술원, 1986 |
| 5 | (A) knowledge - based approach to software configuration management = 지식기반적인 소프트웨어 구성관리 방법link Yi, Won-Wu; 이원우; et al, 한국과학기술원, 1992 |
| 6 | (A) prolog-based tool for analyzing software requirements = PROLOG에 기반을 둔 소프트웨어 요구분석용 도구 개발에 관한 연구link Kang, Soon-Ju; 강순주; et al, 한국과학기술원, 1985 |
| 7 | (A) stream processing approach to dynamic analysis of structured specifications = 스트림 처리 방식을 이용한 구조적 명세의 동적 분석link Kim, Myung Ho; 김명호; et al, 한국과학기술원, 1989 |
| 8 | (A) study on data flow based path testing strategy = 데이타 흐름에 기본을 둔 경로 케스팅 전략에 대한 연구link Lim, Og-Soo; 임옥수; Chung, Sun-Jong; Kwon, Yong-Rae; et al, 한국과학기술원, 1985 |
| 9 | (A) study on rapid prototyping in SDL environment = SDL 환경하에서의 prototyping 기법에 관한 연구link Lee, Jang-Soo; 이장수; et al, 한국과학기술원, 1986 |
| 10 | (A) study on state recovery without domino effect = 도미노 효과가 발생하지 않는 상태 회복에 관한 연구link Lee, Jang-Seon; 이장선; et al, 한국과학기술원, 1985 |
| 11 | (A) study on the software complexity measures based on data flow information = 데이타 흐름 정보에 기반을 둔 소프트웨어 복잡도에 관한 연구link Lee, Seong-Hwan; 이성환; et al, 한국과학기술원, 1986 |
| 12 | (A) study on the test data generation based on the dynamic analysis of specifications = 명세의 동적 분석을 통한 테스트 데이타 생성에 관한 연구link Jung, In-Sang; 정인상; et al, 한국과학기술원, 1989 |
| 13 | An Empirical Evaluation of Test Data GenerationTechniques Kwon, Yong-Rae; Han, Seung-Hee, JOURNAL OF COMPUTING SCIENCE AND ENGINEERING, v.2, no.3, pp.274 - 300, 2008-09 |
| 14 | (An) approach to defining and verifying modules for Statecharts = Statecharts 모듈 정의 및 검증link Seo, Sun-Ae; 서선애; et al, 한국과학기술원, 2000 |
| 15 | (An) efficient debugging method for message-based parallel programs using static analysis information = 정적 분석 정보를 이용한 메시지 기반 병렬 프로그램의 디버깅link Bae, Hyun-Seop; 배현섭; et al, 한국과학기술원, 1995 |
| 16 | (An) empirical evaluation of test data generation techniques = 테스트 데이터 생성 기법의 실험적 평가link Han, Seung-Hee; 한승희; et al, 한국과학기술원, 2003 |
| 17 | (An) experimental programming support system based on a syntax directed editor = Syntax directed editor 를 주축으로 한 실험적 프로그래밍 지원 시스템의 개발link Kim, Jin-Woo; 김진우; et al, 한국과학기술원, 1986 |
| 18 | (An) object-oriented design approach based on software patterns = 소프트웨어 패턴에 기반을 둔 객체지향 설계 접근 방법link Chung, Ki-Sook; 정기숙; et al, 한국과학기술원, 1997 |
| 19 | Analysis of functional requirements using constraints-based modular Petri Nets = 제약사항을 근거로 한 모듈화 페트리 네트를 사용한 함수적 요구사항의 분석link Lee, Woo-Jin; 이우진; et al, 한국과학기술원, 1999 |
| 20 | Assertion 기법을 소프트웨어 요구 분석에 적용하기 위한 연구 = A study on application of the assertion techniques to analysis of software requirementslink 차신; Cha, Shin; et al, 한국과학기술원, 1987 |
| 21 | Attribute grammar를 이용한 소프트웨어 instrumentation 도구의 설계 및 구현 = Design and implementation of a software instrumentation tool based on attribute grammarlink 이용규; Lee, Yong-Kyu; et al, 한국과학기술원, 1988 |
| 22 | Attribute grammer 를 이용한 종합적인 테스팅 도구 (intester) 에 관한 연구 = Implementation of integrated testing tool (intester) using attribute grammarslink 김대순; Kim, Dae-Soon; et al, 한국과학기술원, 1986 |
| 23 | Augmented system graph 를 이용한 소프트웨어 구성 관리 = Software configuration management using augmented system graphlink 최재훈; Choi, Jae-Hoon; et al, 한국과학기술원, 1991 |
| 24 | Change impact analysis and test case management for regression testing of object-oriented programs = 객체지향 프로그램의 회귀테스팅을 위한 수정영향분석 및 테스트케이스 관리link Jang, Yoon-Kyu; 장윤규; et al, 한국과학기술원, 2003 |
| 25 | Change impact analysis for regression testing of java software = 회귀시험을 위한 자바 소프트웨어의 수정영향 분석link Zheng, Hui-ling; 정혜령; et al, 한국과학기술원, 2008 |
| 26 | Change impact analysis of object-oriented software = 객체지향 소프트웨어의 수정 영향 분석link Jang, Yoon-Kyu; 장윤규; et al, 한국과학기술원, 1998 |
| 27 | Combining weak and strong mutation for Non-Interpretive java mutation system = 강/약 뮤테이션의 결합을 이용한 자바 프로그램 대상의 비해석 방식 뮤테이션 시스템link Kim, Sang-Woon; 김상운; et al, 한국과학기술원, 2011 |
| 28 | Consistency checking between Models in object-oriented analysis = 객체 지향 분석 모형간의 일관성 진단link Chun, Wang-Sung; 천왕성; et al, 한국과학기술원, 1997 |
| 29 | Constraints-based testing for systems specified with statecharts = Statecharts 명세를 가지는 시스템에 대한 제약 조건 기반 테스팅link Seo, Heui-Seok; 서희석; et al, 한국과학기술원, 2000 |
| 30 | Construction of integrated testing tools using attribute grammar = Attribute grammar 를 이용한 종합적인 테스팅 도구 구성에 관한 연구link Choi, Eun-Man; 최은만; et al, 한국과학기술원, 1985 |
| 31 | Design and implementation of a user interface builder = 사용자 인터페이스 구축기의 설계 및 구현link Kim, Han-Suu; 김한수; et al, 한국과학기술원, 1991 |
| 32 | Detection and removal of dead references in java using data flow analysis = 데이타 흐름 분석을 통한 자바에서의 Dead reference 검출 기법link Kim, Min-Kyoon; 김민균; et al, 한국과학기술원, 2007 |
| 33 | Diamete 가 d이고 c Vertex 연결도를 갖는 k-Regular 그래프에 관한 연구 = A study on c-connected k-Regular graphs with diameter dlink 최한영; Choi, Han-Yeong; 권용래; 좌경룡; et al, 한국과학기술원, 1987 |
| 34 | Empirical evaluation of orthogonality of inter-class mutation operators = 실험을 통한 클래스간 뮤테이션 오퍼레이터의 직교성 평가link Lee, Hyo-Jeong; 이효정; et al, 한국과학기술원, 2004 |
| 35 | Evaluation of program test methods using mutation analysis = 변형 분석법을 사용한 프로그램 테스트 기법들의 평가link Lee, Myoung-Whan; 이명환; et al, 한국과학기술원, 1985 |
| 36 | Evaluation of rapid prototyping specification approach = Rapid prototyping 에 의한 소프트웨어 명세법의 평가link Kim, Jae-Myoung; 김재명; et al, 한국과학기술원, 1985 |
| 37 | Fault-based distributed recovery block (FDRB) for switching systems = 교환시스템을 위한 결함 기반의 분산 복구 블록link Lee, Byung-Sun; 이병선; et al, 한국과학기술원, 2003 |
| 38 | Generation of an automated testing environment using OCL for enterprise components = OCL을 이용한 기업형 컴포넌트의 자동화 시험 환경 구현link Kim, Sang-Woon; 김상운; et al, 한국과학기술원, 2002 |
| 39 | Hybrid software architecture of knowledge-based signal inspection systems = 지식 기반형 신호 진단 시스템을 위한 복합형 소프트웨어 구조link Kang, Soon-Ju; 강순주; et al, 한국과학기술원, 1995 |
| 40 | Incorporating abstraction mechanisms into a logic programming language = Logic 프로그래밍 언어에 추상화 기법을 도입하기 위한 연구link Kim, Myung-Ho; 김명호; et al, 한국과학기술원, 1986 |
| 41 | Information theoretical complexity metrics for concurrent programs = 병행 프로그램을 위한 정보이론적 복잡도 척도link Cha, Shin; 차신; et al, 한국과학기술원, 1995 |
| 42 | MAKE 프로그램의 종속 규칙에 애트리뷰트를 도입하기 위한 연구 = A study on incorporating attributes into the dependency rules for the MAKE programlink 여인준; Yeo, In-Joon; et al, 한국과학기술원, 1989 |
| 43 | Method-level mutation operators for java programs = 자바 프로그램을 위한 메소드 수준의 뮤테이션 연산자link Shin, Jong-Min; 신종민; et al, 한국과학기술원, 2006 |
| 44 | Mutation testing of object-oriented features of Java = 자바프로그램의 객체지향 특성을 대상으로 하는 뮤테이션 시험기법link Ma, Yu-Seung; 마유승; et al, 한국과학기술원, 2005 |
| 45 | On some computational structures for parallel graph algorithms = 병렬 그래프 알고리즘을 위한 계산 구조에 관한 연구link Kim, Tae-Nam; 김태남; Chwa, Kyung-Yong; Kwon, Yong-Rae; et al, 한국과학기술원, 1986 |
| 46 | Outline font representations with structured description of characters = 글자의 구조적 묘사에 따른 윤곽선 글자꼴의 표현방식link Lim, Soon-Bum; 임순범; et al, 한국과학기술원, 1992 |
| 47 | Program restructuring approaches for software maintenance = 소프트웨어 유지보수를 위한 프로그램 재구성접근 방법link Kim, Hyeon-Soo; 김현수; et al, 한국과학기술원, 1995 |
| 48 | Program slicing based on specification = 명세에 기반한 프로그램 슬라이싱link Lee, Wan-Kwon; 이완권; et al, 한국과학기술원, 2000 |
| 49 | Prolog 를 이용한 소프트웨어 요구 분석 프로그램의 구현 = Implementation of a software requirements analyzer in prologlink 최정훈; Choi, Jeong-Hun; et al, 한국과학기술원, 1987 |
| 50 | Restructuring of classes and inheritance hierarchy in object-oriented systems = 객체지향시스템에서의 클래스와 계승관계의 재구성link Chae, Heung-Seok; 채흥석; et al, 한국과학기술원, 1996 |
| 51 | Safety Verification of Ada95 Programs Using Software Fault Trees Min, Sang-Yoon; Jang, Yoon-Kyu; Cha, Sungdeok; Kwon, Yong-Rae; Bae, Doo-Hwan, SAFECOMP 99, pp.226 - 238, Springer Verlag (Germany), 1999 |
| 52 | Shuffle/exchanged-shuffle 네트워크에 관한 연구 = A study on shuffle/exchanged-shuffle networklink 최준수; Choi, Joon-Soo; et al, 한국과학기술원, 1986 |
| 53 | Software cost estimation for the microprocessor-embedded systems = 마이크로프로세서 내장시스템의 소프트웨어 개발비용 추정 사례연구link Kang, Kwan-Hee; 강관희; et al, 한국과학기술원, 1986 |
| 54 | Spanning tree 의 보간 성질에 관한 연구 = A study on the interpolating property of spanning treeslink 조환규; Cho, Hwan-Gue; et al, 한국과학기술원, 1986 |
| 55 | Specification and analysis of timing requirements in CBD approach using modular petri nets = 컴포넌트 기반 개발 방법론에서의 modular petri nets 를 이용한 시간 제약 사항의 명세 및 분석link Lee, Ho-Kyoung; 이호경; et al, 한국과학기술원, 2007 |
| 56 | Specification-based testing of java multithreaded programs utilizing equivalence relation on test sequences = 시험 시퀀스들의 동치 관계를 이용한 자바 다중스레드 프로그램의 명세 기반 시험기법link Seo, Heui-Seok; 서희석; et al, 한국과학기술원, 2007 |
| 57 | Stepwise verification of statecharts specification using state abstraction = 상태 추상화를 통한 Statecharts 요구명세의 단계적 검증link Oh, Seung-Uk; 오승욱; et al, 한국과학기술원, 1998 |
| 58 | Systematic software testing approaches for specification and maintenacne phases = 명세와 유지보수 단계를 위한 체계적인 소프트웨어 테스팅 접근방법link Chung, In-Sang; 정인상; et al, 한국과학기술원, 1993 |
| 59 | Task allocation based on precedence relations for distributed real-time systems = 분산 실시간 시스템에서의 선후관계를 고려한 태스크 할당link Lim, Yong-Seop; 임용섭; et al, 한국과학기술원, 1996 |
| 60 | Test case generation using dependency information derived from architecture description = 아키텍쳐 기술로부터 도출한 의존성 정보를 이용한 테스트 케이스 생성link Huh, Yu-Jin; 허유진; et al, 한국과학기술원, 2002 |
