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 |
61 | Testing of adapted components using mutation techniques = 변용 컴포넌트를 위한 뮤테이션 테스팅 기법link Ma, Yu-Seung; 마유승; et al, 한국과학기술원, 2000 |
62 | Testing of web applications using state-based testing technique = 웹어플리케이션의 상태 기반 기능 시험 기법link Kang, Jae-Sung; 강제성; et al, 한국과학기술원, 2001 |
63 | UML / OCL을 이용한 기업형 컴포넌트의 자동화 시험 환경 김, 상운; 마, 유승; 강, 제성; 배, 두환; 권, 용래; Kim, Sang-Woon; Ma, Yu-Seung; et al, 한국정보과학회 학술발표논문집, Vol.28, No.2, pp.553-555, 2001-10 |
64 | UML specification-based integration testing of software components = UML 명세에 기반한 소프트웨어 컴포넌트의 통합 테스팅 기법link Kim, Jun-San; 김준산; et al, 한국과학기술원, 2003 |
65 | UNIX Shell을 이용한 수행가능한 소프트웨어 명세 기법 = Executable software specification using UNIX shelllink 이성희; Lee, Sung-Hee; et al, 한국과학기술원, 1988 |
66 | Using model checking to generate data-flow oriented test case from statecharts = 모델 체킹을 이용한 Statecharts로부터의 자료 흐름 지향 테스트 케이스 생성 방법link Yoo, Jee-Eun; 유지은; Kwon, Yong-Rae; Cha, Sung-Deok; et al, 한국과학기술원, 2001 |
67 | Validation of timing and communication constraints in real-time parallel programs = 실시간 병렬 프로그램에 대한 시간 및 통신 제약 조건의 검증link Bae, Hyun-Seop; 배현섭; et al, 한국과학기술원, 1999 |
68 | Verification of intelligent network services by analyzing feature interactions using a petri net model = 페트리네트 모델을 사용한 서비스 상호작용 분석에 의한 지능망 서비스의 검증link Choi, Jeong-Hun; 최정훈; et al, 한국과학기술원, 2003 |
69 | 결함허용 프로그래밍을 지원하기 위한 Ada 언어의 확장 = Extending Ada to support fault tolerant programminglink 정석종; Cheong, Seok-Jong; et al, 한국과학기술원, 1996 |
70 | 고정크기 다각형의 위치문제에 대한 알고리즘 = Algorithms for the fixed-size polygon placement problemlink 조창제; Cho, Chang-Je; 권용래; 좌경룡; et al, 한국과학기술원, 1987 |
71 | 구조 중심형 프로그램 에디터의 구현 방안에 관한 연구 = A study on implementation scheme of a syntax-directed program editorlink 임은기; Lim, Eun-Ki; et al, 한국과학기술원, 1989 |
72 | 구조 지향적 에디팅 환경에서의 타입 검사 = A study on type checking in the structure-oriented editing environmentlink 김영주; Kim, Young-Ju; et al, 한국과학기술원, 1989 |
73 | 구조적 분석 기법을 위한 자료사전 관리도구의 설계 및 구현 = Design and implementation of a data dictionary manager for structured analysislink 백용기; Paek, Yong-Kee; et al, 한국과학기술원, 1986 |
74 | 구조적 분석 기법의 자동화를 위한 기초 연구 = A study on automation of structured analysis techniqueslink 김동환; Kim, Dong-Hwan; et al, 한국과학기술원, 1986 |
75 | 네트워크 전체에 가상 디스플레이를 제공하는 윈도우 시스템 = Design of a window system supporting network-wide virtual displaylink 윤진수; Yoon, Jin-Soo; et al, 한국과학기술원, 1988 |
76 | 다중 프로그램 view를 제공하기 위한 명세어의 설계 = Design of a specification language for displaying multiple views of the programlink 조영순; Cho, Young-Soon; et al, 한국과학기술원, 1989 |
77 | 도큐멘트 블럭 개념을 이용한 Troff 의 확장 = Extraction of troff using document block conceptslink 이유현; Lee, You-Hyun; et al, 한국과학기술원, 1988 |
78 | 모듈 접속 언어를 이용한 프로그램 코드의 정적 분석과 Makefile의 생성 = Static analysis of program codes and generation of makefile using module interconnection languagelink 이완권; Lee, Wan-Kwon; et al, 한국과학기술원, 1990 |
79 | 뮤테이션 테스팅과 자료 흐름 테스팅이 예외 상황 처리 오류를 찾아내는 강도의 실험적 비교 = Empirical comparison of strength of structural testing and mutation testing for detecting exception handling faultslink 윤혜영; Yoon, Hye-Young; et al, 한국과학기술원, 2005 |
80 | 병렬 수행 프로그램을 위한 정적 분석기에 관한 연구 = A study on a static analyzer for concurrent programslink 한익주; Han, Ik-Joo; et al, 한국과학기술원, 1986 |
81 | 병행 프로그램의 테스트 케이스 생성 방법에 관한 연구 = A study on the test-case generation for the concurrent programlink 배준수; Pae, Chun-Su; et al, 한국과학기술원, 1992 |
82 | 산수 학습용 시각 언어 및 그래픽 사용자 인터페이스의 설계 = Design of visual language and graphical user interface for arithmetic lessonlink 김현수; Kim, Hyeon-Soo; et al, 한국과학기술원, 1991 |
83 | 설계 변환에 의한 소프트웨어 재구성에 관한 연구 = A study on software restructuring by design transformationslink 김장수; Kim, Jang-Su; et al, 한국과학기술원, 1987 |
84 | 설계 안정성을 고려한 모듈 접속 언어의 확장 = Extension of a module interconnection language for design stabilitylink 안세환; Ahn, Se-Hwan; et al, 한국과학기술원, 1988 |
85 | 소프트웨어 개발 및 관리를 위한 UNIX 화일 시스템의 응용 = Application of the UNIX file system for software development and managementlink 김영애; Kim, Young-Eae; et al, 한국과학기술원, 1988 |
86 | 소프트웨어 설계 구조를 반영하는 UNIX 프로그래밍 환경에 관한 연구 = A study on an improved UNIX programming environment incorporating software design structurelink 송상섭; Song, Sang-Sup; et al, 한국과학기술원, 1988 |
87 | 소프트웨어 품질 관리 정보의 모델링에 관한 연구 = Modeling of information for software quality managementlink 한상학; Han, Sang-Hack; et al, 한국과학기술원, 1986 |
88 | 순차도를 이용한 테스트 오라클 생성 = Generating test oracles from sequence diagramlink 정정수; Jung, Jung-Su; 권용래; 배두환; et al, 한국과학기술원, 2001 |
89 | 유한 상태 기계를 기반으로 하는 객체 지향 프로그램의 테스팅 = Testing of object-oriented programs based on finite state machinelink 홍형석; Hong, Hyoung-Seok; et al, 한국과학기술원, 1995 |
90 | 응용 프로그램 수준에서 강건성 테스팅을 위한 자동화된 테스팅 환경 구현 = Automated testing environment for robustness testing at application levellink 이성민; Lee, Sung-Min; et al, 한국과학기술원, 2005 |
91 | 자료흐름도로부터 Vienna definition language 를 이용하여 실행 가능한 specification 을 구성하는 방법 = Constructing an executable specification from data flow diagrams using vienna definition languagelink 이종희; Lee, Jong-Heui; et al, 한국과학기술원, 1987 |
92 | 자료흐름도로부터 실행 가능한 명세를 작성하기 위한 명세 언어 = An executable specification language for constructing an executable specification from data flow digramslink 함경수; Ham, Kyung-Soo; et al, 한국과학기술원, 1989 |
93 | 자료흐름도를 이용한 병렬 소프트웨어 시스템의 설계 = Design of a concurrent software system using data flow diagramslink 김미숙; Kim, Mi-Suk; et al, 한국과학기술원, 1987 |
94 | 재사용을 위한 소프트웨어 Component의 식별에 관한 연구 = A study on identification of reusable software componentslink 이영곤; Lee, Young-Gon; et al, 한국과학기술원, 1988 |
95 | 재사용을 위한 소프트웨어 부품의 분류 및 검색 방법 연구 = A study on classification schemes and retrieval method of software components for reuselink 장명섭; Chang, Myung-Sub; et al, 한국과학기술원, 1991 |
96 | 지능망 서비스를 기술하기 위한 형식 명세 언어 Z의 확장 = Extension of formal specification notation Z to describe services in intelligent networklink 강흠근; Kang, Heum-Geun; et al, 한국과학기술원, 1992 |
97 | 직교 다각형의 내부에 포함되는 최대 볼록 다각형을 구하는 알고리즘 = Algorithms for finding the largest convex subpolygon of a rectilinear polygonlink 최승학; Choi, Seung-Hak; 권용래; 좌경룡; et al, 한국과학기술원, 1987 |
98 | 직접 조작 방식의 사용자 인터페이스를 제공하기 위한 USE 명세어의 확장 = Extension of the USE specification language to support direct-manipulation styles for the user interfaceslink 박찬정; Park, Chan-Jung; et al, 한국과학기술원, 1990 |
99 | 최적인 2-단계 고장 진단 시스템에 관한 연구 = A study on optimal design of two-step fault diagnosable systemslink 박정흠; Park, Jung-Heum; 권용래; 좌경룡; et al, 한국과학기술원, 1987 |
100 | 페트리 네트에 기반을 둔 분산 소프트웨어 프로세스 모델의 분석에 관한 연구 = A study on the analysis of a distributed software process model based on petri-netslink 이우진; Lee, Woo-Jin; et al, 한국과학기술원, 1994 |
101 | 프로그램 변형과 상태 전이도를 이용한 C 프로그램의 자료 흐름 분석 = Data flow analysis of the C programs using program transformation and the state transition diagramlink 소선섭; So, Sun-Sup; et al, 한국과학기술원, 1988 |