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 |
102 | 프로그램 수행 경로와 자료 흐름 정보에 기반을 둔 새로운 복잡도 척도에 관한 연구 = A new hybrid complexity measure based on program path and data flow informationlink 이호경; Lee, Ho-Kyoung; et al, 한국과학기술원, 1989 |
103 | 프로그램의 팀 디버깅을 위한 동시성 제어 = Concurrency control for program team debugginglink 이덕순; Lee, Deog-Soon; et al, 한국과학기술원, 1994 |
104 | 프로세스 프로그래밍에 기반을 둔 소프트웨어 테스팅 환경의 설계 = Design of a software testing environment based on process programminglink 강성국; Khang, Seong-Kook; et al, 한국과학기술원, 1993 |
105 | 한글의 구조적 정보를 이용한 한글 글자체 생성 지원 시스템의 설계 = Design of a hangul font generation support system using structural infomation of hangullink 조정식; Cho, Jeong-Sik; et al, 한국과학기술원, 1991 |