http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
객체지향 모형 간 일관성 검증을 지원하는 CASE 도구 설계 및 구현
이선미(Sun Mi Lee),전진옥(Jin Ok Jeon),류재철(Jae Chol Ryou) 한국정보처리학회 1999 정보처리학회논문지 Vol.6 No.11
A deductive database consists of facts being the extensional database and rules being the intensional database. Because of the difficulty of evaluating rules, many parallel evaluation algorithms for rules have beeen presented. But we hvae not gotten an acceptable result. This paper proposes a new methoddology to evaluate proof-theoretic meaning of the linear recursion rule which contains transitive dependency by using a shared-nothing parallel architecture. At first, we prove that there exists the equivalent expression for a linear recursion rule, design the algorithm for evaluating the linear recursion rule based on the equivalent expression, and finally analyse performance of the proposed algorithm.
Unified Mondeling Language 를 활용한 다관점 업무 시스템 모형화
김종우(Kim Jong Woo),김진삼(Kim Jin Sam),조진희(Cho Jin Hee),전진옥(Jeon Jin Ok) 한국정보처리학회 1999 정보처리학회논문지 Vol.6 No.9
Recently, due to the popularity of object-oriented programming languages, object-oriented modeling and development methodologies become widely applied to information system development. When object-oriented methodology is adopted, using object-oriented modeling languages for business analysis and redesign has the advantages such that business modeling results can be easily understood and referred by information system developers. In this paper, UML-B, Unified Modeling Language extension of Business modeling is proposed, which uses UML notation for modeling organization structure, actors, use cases, business processes, and entities in business systems. It also utilizes extension mechanisms of UML to facilitate business modeling activities, and supports business process reengineering with object-oriented modeling.
노미나(Mina Rho),최병주(Byoungju Choi),전진옥(Jin-Ok Jeon) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.2Ⅰ
고품질의 객체지향 소프트웨어 개발을 위해 테스팅작업이 체계적이고 효율적으로 수행될 수 있도록 하는 ‘객체지향 테스트 프로세스의 연구’가 필수적이다. 이를 위해 본 논문에서는 객체지향 테스트레벨을 정의하고, 각 테스트레벨 별로 국제 테스트 표준을 반영한 테스트 작업, 절차와 산출물을 객체지향 개발과정과 연계하여 제시한다.
정병권(Byung Kwon Jung),김병관(Byung Kwon Kim),박복남(Bok Nam Park),전진옥(Jin Ok Jeon),추철호(Chul Ho Choo),하수정(Su Jeong Ha) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.2Ⅰ
마르미-D는 정보공학과 구조적기법을 반영한 사용자위주의 방법론이며, 본 논문에서는 이를 개발하고 적용한 결과를 기술하고 평가하였다. 이것을 개발하기 위하여 방법론 사용자들과의 면담 및 설문, 방법론 전문가들과의 면담, 방법론 전문서적 및 기술지를 통하여 요구사항을 정리하였다. 또한 단계를 구성하는데 ISO/IEC 12207을 수용하여 7단계로 구분하였다. 특히 정보계획수립과 연계되며, ISO/IEC 12207의 공정구현활동에 해당되는 개발계획단계를 두었고, 운영과 유지보수를 용이하게 하기 위하여 설치 및 인도 단계를 두었다. 구성요소로는 단계, 활동, 작업, 산출물, 기법, 역할로 구성하였고, 영역으로는 사용자관점에서 경영전략과 업무영역을 개발자관점에서 데이타 프로세스 지역과 기술환경을 관리자 관점에서 개발지원과 프로젝트로 나누어 각 단계에 적용하였다. 단계와 영역에 해당되는 ISO/IEC 12207의 세부업무를 가지고 작업을 정하고, 작업에 대한 순서를 정하여 많은 워크샵과 모의 테스트를 통하여 작업들을 구성하였다. 이를 산학연소속의 방법론 전문가로부터 평가를 받았으며, 방법론을 많이 사용한 전문가들로 구성된 사용자그룹으로부터도 정기적인 검증을 받은 후, 공공 SI 프로젝트에 적용한 사례를 논하였다.
노미나(Mina Rho),윤회진(Hoijin Yoon),최병주(Byoungju Choi),전진옥(Jin-Ok Jeon) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.1A
객체지향 소프트웨어의 신뢰성을 위해서는 정보 은폐, 상속성, 다형성 등의 객체지향 특성을 고려한 객체지향 테스팅이 요구되어진다. 본 논문에서 제안하는 상태 기반 뮤테이션 테스트 기준(SMTC)은 테스트 대상 클래스의 상태도와 그것의 변형 상태도를 차별화 시킬 수 있는 메소드 호출 순서 형태의 테스트 케이스를 선정하게 하는 테스트 기준이다.
김도형(Do-Hyung Kim),박창순(Chang-Soon Park),전진옥(Jin-Ok Jeon) 한국정보과학회 1999 정보과학회 컴퓨팅의 실제 논문지 Vol.5 No.5
일반적으로 성능 관리는 성능 감시, 성능 분석, 그리고 성능 조정의 작업을 반복함으로써 이루어진다.본 논문에서는 주전산기 Ⅳ로 개발된 고속 병렬 컴퓨터 SPAX(Scalable Parallel Architecture Computer based on Crossbar Network)에서 사용할 수 있는 성능 감시기와 성능 조정 도구의 설계와 구현에 대해 기술한다. SPAX는 지역 메모리를 갖는 노드들이 내부 네트워크로 연결되어, 클러스터를 구성하는 계층적인 구조를 이루고 있다. 따라서, SPAX에서 효과적인 성능 감시를 하기 위해서는 SPAX의 계층적 구조를 반영한 새로운 성능 감시기가 필요로 하게 되었다. 구현된 성능 감시기는 SPAX의 노드와 클러스터, 그리고 전체 시스템 상태를 실시간으로 감시할 수 있는 기능을 제공한다. 그리고, 구현된 성능 조정 도구는 SPAX에서 시스템 성능에 관련된 변수 값을 변경할 수 있는 기능들을 제공한다. 관리자는 구현된 성능 감시기와 성능 조정 도구를 이용하여 SPAX에서 보다 효과적인 성능 관리를 수행할 수 있다. Generally, a performance management consists of the iterative process of performance monitoring, performance analysis, and performance tuning. In this paper, we describe the design and implementation of performance monitor and performance tuner which can be used on the top of SPAX, also known as TICOM Ⅳ SPAX has a hierarchical structure All nodes, each of which has a local memory, are connected to the interconnection network and constructed to form clusters. Therefore, it is necessary to develop a new performance monitor reflecting the underlying hierarchical structure of SPAX, to implement performance monitoring more effectively implemented performance monitor can monitor the state of nodes, clusters, and total system of SPAX at realtime And, implemented performance tuner can change the value of variables related to the performance of SPAX. System manager can perform an effective performance management by using the proposed performance management tools.