1 | (A) computer-aided tool for decision support model building based on structured modeling = 구조적 모형화 기법을 바탕으로 한 의사 결정 지원 모형 개발 도구link Park, Jin-Young; 박진영; et al, 한국과학기술원, 1988 |
2 | (A) framework for business process reengineering supporting tool = 비지니스 프로세스 리엔지니어링 지원도구를 위한 모형화틀link Yim, Hyo-Bin; 임효빈; et al, 한국과학기술원, 1994 |
3 | (A) framework for model transformation in Meta-CASE = 메타-CASE에서 모형 변환을 위한 틀에 관한 연구link Yim, Hong-Soon; 임홍순; et al, 한국과학기술원, 1994 |
4 | (A) model management system for linear programming model formulation and modification = 구조적 모형화 기법을 이용한 선형계획모형 생성과 수정을 위한 모형관리 시스템link Lim, Ki-Young; 임기영; et al, 한국과학기술원, 1991 |
5 | (A) modeling framework for integrating decision models and information systems = 의사결정 모형과 정보 시스템의 통합을 위한 모형화틀에 관한 연구link Kim, Jong-Woo; 김종우; et al, 한국과학기술원, 1995 |
6 | (A) modified two-list synchronization procedure for discrete event simulation = 이산형 모의 실험에서의 개선된 투-리스트 싱크로나이제이션 방법link Park, Jung-Sun; 박정선; et al, 한국과학기술원, 1985 |
7 | (A) pattern recognition-based decision support system for time series modeling = 패턴인식방법에 의한 시계열 모형화 의사결정 지원시스템link Lee, Kun-Chang; 이건창; et al, 한국과학기술원, 1988 |
8 | (A) process-based modeling framework for computer integrated manufacturing = 프로세스를 기반으로 한 통합생산시스템 모형화 틀에 관한 연구link Kim, Han-Seup; 김한섭; et al, 한국과학기술원, 1995 |
9 | (A) simulation modeling for ethernets interconnected via ATM backbone = ATM망과 Ethernet LAN으로 구성된 네트워크의 시뮬레이션 모형화link Sung, Jang-Hwan; 성장환; et al, 한국과학기술원, 1995 |
10 | (A) specification and analysis tool for concurrent systems development using the modified petri net = 수정된 페트리 네트를 이용하여 동시수행 시스템을 개발하기 위한 명세 및 분석 도구link Yi, Sang-Wuk; 이상욱; et al, 한국과학기술원, 1987 |
11 | (A) system dynamics model for software development project management = 소프트 웨어 개발 프로젝트 관리의 시스템 다이나 믹스 모형link Kim, Do-Whan; 김도환; et al, 한국과학기술원, 1984 |
12 | Adaptive sensitivity analysis in optimization model by artificial neural network = 신경회로망을 이용한 최적화모형에서의 응용민감도분석에 관한 연구link Kim, Woo-Ju; 김우주; Park, Sung-Joo; Lee, Jae-Kyu; et al, 한국과학기술원, 1994 |
13 | (An) adaptive algorithm for differential game in dynamic advertising model = 動態的 廣告模型에 있어서의 微分 게임을 爲한 適應 解法link Lee, Keon-Chang; 이건창; et al, 한국과학기술원, 1984 |
14 | (An) approach for automatic box-jenkins modelling procedure = Box-jenkins 예측모형화 과정의 자동화에 관한 연구link Hong, Chang-Soo; 홍창수; et al, 한국과학기술원, 1983 |
15 | (An) approach to efficient database design incorporation usage information : integration of conceptual design and logical design = 사용정보를 바탕으로 한 효율적인 데이타베이스 설계에 관한 연구 : 개념적 설계와 논리적 설계의 통합을 중심으로link Cho, Hyung-Rae; 조형래; et al, 한국과학기술원, 1989 |
16 | (An) approach to solver integration for modeling environment = 모형화 환경을 위한 Solver 통합에 관한 연구link Cho, Kye-Hyun; 조계현; et al, 한국과학기술원, 1994 |
17 | (An) automated tool for real-time software development based on transformation schema = 變換 圖解를바탕으로 한 實時間 소프트웨어 開發을 위한 自動化 道具link Kim, Hyoung-Do; 김형도; et al, 한국과학기술원, 1987 |
18 | (An) automated tool for software testing using cause effect graph = 인과 그래프를 이용한 소프트웨어 테스트 자동화 도구link Yoon, Sang-Woo; 윤상우; et al, 한국과학기술원, 1987 |
19 | (An) automated tool for the interface correctness in software design = 소프트웨어 디자인에서의 인터페이스 정확성을 위한 자동화 도구link Choo, Chul-Ho; 추철호; et al, 한국과학기술원, 1987 |
20 | (An) extended metamodel based on logic & object-oriented approaches = 논리와 객체 지향 방식을 기반으로 한 확장된 메타모형link Oh, Se-Chang; 오세창; et al, 한국과학기술원, 1992 |
21 | (An) object-modeling framework for software integration and evolution = 소프트웨어의 통합 및 변경을 위한 객체모형화 틀link Kim, Duk-Hyun; 김덕현; et al, 한국과학기술원, 1993 |
22 | Automatic generation of fourth normal form in relational database design : a heuristic approach = 릴레이셔날 데이타베이스 설계를 위한 4차 normal form 의 자동구축 : 휴리스틱 접근법link Lee, Young-Gun; 이영건; et al, 한국과학기술원, 1987 |
23 | Capacity expansion under stochastic demand = 確率的 需要下에서의 設備擴張link Kang, Hee-Won; 강희원; et al, 한국과학기술원, 1982 |
24 | Code generation design specification in software development = 소프트웨어 개발에 있어 디자인 명세로 부터의 코드 생성link Yang, Jin-Seol; 양진설; et al, 한국과학기술원, 1988 |
25 | Compound backtrack search algorithm for crude oil delivery scheduling problem = 原油導入 日程計劃 問題를 위한 휴리스틱 알고리즘의 開發에 관한 硏究link Hong, Joon-Seok; 홍준석; Park, Sung-Joo; Lee, Jae-Kyu; et al, 한국과학기술원, 1991 |
26 | Computer-aided modeling tool for event graph simulation = 이벤트그래프 모의 실험 모형화를 위한 컴퓨터 도구link Shin, On-Sok; 신언석; et al, 한국과학기술원, 1988 |
27 | Computer-based environment for structured modeling = 構造的 모델링 技法을 위한 컴퓨터 환경 구축link Kwon, Young-Jae; 권영재; et al, 한국과학기술원, 1990 |
28 | Design and implementation of the life-cycle support system (LSS) generator language based on entity category relationship (ERC) data model = 개체.범주.관계 (ERC) 모형을 기반으로한 소프트웨어 수명주기 지원 시스템 (LSS) - 생성 언어의 설계 및 구현link Woo, Jeong-Min; 우정민; et al, 한국과학기술원, 1988 |
29 | Development of a knowledge-assisted linear programming modeling system = 지식을 이용한 선형계획 모형화 시스템 개발에 관한 연구link Kim, Min-Yong; 김민용; Park, Sung-Joo; Lee, Jae-Kyu; et al, 한국과학기술원, 1994 |
30 | Development of hypertext-based modeling environment for representation and manipulation of mathematical models = 수리 모형의 표현과 관리를 위한 하이퍼텍스트 기반 모형화 환경의 개발link Lee, Chang-Hee; 이창희; et al, 한국과학기술원, 1993 |
31 | Development of interactive object-oriented meta system = 객체 지향모형을 기반으로 한 대화식 메타시스템의 개발link Kim, Hyoung-Wook; 김형욱; et al, 한국과학기술원, 1989 |
32 | Development of software specification language for flexible manufacturing system = 자동생산체제(FMS)를 위한 소프트웨어 명세언어의 개발link Rhee, Young-Ok; 이영옥; et al, 한국과학기술원, 1987 |
33 | Dynamic capacity expansion = 동적설비확장계획link Song, Young-Hyo; 송영효; et al, 한국과학기술원, 1982 |
34 | Failure modeling procedures using fault trees and petri nets : a fault tree construction method = 결점수와 페트리네트를 사용한 고장모델링 절차link Koo, Za-Kil; 구자길; et al, 한국과학기술원, 1991 |
35 | Forecasting with mixed regression/ARIMA model : modelling and application = 혼합 회귀/ARIMA 모형을 사용한 예측link Kim, Sun-Tae; 김선태; et al, 한국과학기술원, 1983 |
36 | Intelligent simulation system for production scheduling = 생산일정계획을 위한 지식형 모의실험 시스템의 개발link Kim, Gil-Jo; 김길조; et al, 한국과학기술원, 1989 |
37 | Intervention analysis with application to the wholesale price index in korea = 한국 도매 물가 지수에 적용한 간섭 영향 분석link Park, Chi-Kyung; 박치경; et al, 한국과학기술원, 1982 |
38 | Knowledge based verification system(KBVS) for software specification = 소프트웨어 명세의 지식 기반 검증 시스템link Song, Hee-Seok; 송희석; et al, 한국과학기술원, 1989 |
39 | Metaview approach to the development of DSS modeling environments = 의사결정지원시스템 모형화 환경의 개발에 관한 메타관점 접근법link Kim, Hyoung-Do; 김형도; et al, 한국과학기술원, 1992 |
40 | Model reusability in decision support systems : a multi-meta view approach = 의사결정지원시스템에서의 모형 재활용을 위한 다중메타 접근법link Kwon, O-Byung; 권오병; et al, 한국과학기술원, 1995 |
41 | Neural network approach to dynamic process control : applications to manufacturing and traffic systems = 동적 공정 제어를 위한 신경망 기법의 활용에 관한 연구 : 생산 및 교통 시스템에의 응용link Yang, Jin-Seol; 양진설; et al, 한국과학기술원, 1994 |
42 | Object-behavior modeling = 객체-행위 모형화 : 정보시스템의 정적, 동적 측면을 통합하기위한 개념적 모형화 방법론link Kim, Jong-Woo; 김종우; et al, 한국과학기술원, 1991 |
43 | Object-oriented model management support system = 객체 지향적 모형 관리 지원 시스템link Kwon, O-Byung; 권오병; et al, 한국과학기술원, 1990 |
44 | OPNets : an object-oriented high-level petri net for real-time system modeling = 실시간 시스템 모형화를 위한 객체 지향 페트리 네트link Lee, Yang-Kyu; 이양규; et al, 한국과학기술원, 1992 |
45 | Optimal advertising expenditure using adaptive dual control approach = 同時適應制御方式을 이용한 最適廣告費決定에 관한 硏究link Lee, Min-Kwang; 이민광; et al, 한국과학기술원, 1982 |
46 | Optimal advertising stock model : control-theoretic study and empirical analysis = 最適 廣告費 決定 模型 : 制御理論을 이용한 實證的 硏究link Heo, Soon-Young; 허순영; et al, 한국과학기술원, 1983 |
47 | Optimal control of recruitment and promotion in a hierarchically graded manpower system = 계층적 인력시스템에서의 충원 및 승진에 대한 최적제어link Chung, Sun-Koo; 정선구; et al, 한국과학기술원, 1984 |
48 | Representation and reasoning methodology for constraint and rule satisfaction problems = 제약과 규칙만족 문제 해결을 위한 표현과 추론방법에 관한 연구link Kwon, Suhn-Beom; 권순범; Park, Sung-Joo; Lee, Jae-Kyu; et al, 한국과학기술원, 1993 |
49 | Representation scheme of operational knowledge in metamodel for CASE tool generation = CASE 道具 생성을 위한 메타 模型에서의 運營的 지식 표현에 관한 硏究link Lee, Ha-Bin; 이하빈; et al, 한국과학기술원, 1993 |
50 | Simulation life-cycle support system based on object-oriented development = 客體 指向的 소프트웨어 開發方法論을 基盤으로 한 模擬 實驗 壽命週期 支援시스템link Suh, Byung-Joo; 서병주; et al, 한국과학기술원, 1988 |
51 | Software maintenance supporting system based on the dependency of design decision = 의존도에 근거한 소프트웨어 유지 지원시스팀link Lee, Cheol-Hoon; 이철훈; et al, 한국과학기술원, 1989 |
52 | Syntax-directed editor generator for meta system = 메타시스템을 위한 構文 誘導 編輯機 生産機link Park, Dai-Jin; 박대진; et al, 한국과학기술원, 1990 |
53 | (The) attractiveness of Korean securities to international investors : an initial examination = 國際分散投資家들의 韓國株式에의 投資可能性에 關한 硏究 : 期待投資收益과 危險의 側面에서link Min, Moon-Kee; 민문기; et al, 한국과학기술원, 1983 |
54 | Time series model identification using vector sample correlation function = 벡터 표본 상관 함수를 이용한 시계열 모형 선정link Jeon, Tae-Joon; 전태준; et al, 한국과학기술원, 1987 |
55 | Transformation of anlaysis to design in software development = 소프트웨어 개발에 있어 분석단계의 설계 단계로의 변환link Lee, Yang-Kyu; 이양규; et al, 한국과학기술원, 1987 |
56 | 구조적 분석 방법과 Program generator 를 이용한 정보처리 시스템의 개발 : KAIST 학적업무를 중심으로 = A study on the development of information system using SADT and program generator : with an application to the KAIST academic record information systemlink 윤재욱; Yoon, Jae-Wook; et al, 한국과학기술원, 1985 |
57 | 두가지 수요계층이 존재하는 동적 생산계획 모형 = Dynamic production planning model with two demand classeslink 윤영걸; Yun, Young-Keol; et al, 한국과학기술원, 1983 |
58 | 마아코브 체인을 이용한 外上賣出金管理에 관한 硏究 = A study on the management of accounts receivable using markov chainlink 조성표; Cho, Seong-Pyo; et al, 한국과학기술원, 1983 |
59 | 마이크로 컴퓨터를 利用한 書誌情報檢索 시스템 = A bibliographic information retrieval system with microcomputerlink 김현수; Kim, Hyun-Soo; et al, 한국과학기술원, 1985 |
60 | 송유관 네트워크 시스템의 제어방법 분석 = The analysis of control schemes for oil pipeline network systemlink 전태준; Jeon, Tae-Joon; et al, 한국과학기술원, 1981 |