민상윤 교수

Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities are based on the process standard. However, existing research does not provide a systematic method for process tailoring and verification. In this paper, we propose a systematic method for formalizing a process standard clearly with encapsulated reusable process modules for tailoring and verifying tailored process. AAG (

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Civil and Environmental Engineering, 2003.

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Civil and Environmental Engineering, 2008.

Software reengineering for object-oriented rearchitecturing offers an exciting opportunity in migrating old legacy systems to evolvable systems in a disciplined manner. In the twofold-strategy software reengineering for object-oriented rearchitecturing, one of the problems to be solved is to derive a proper object-oriented model from the output of reverse engineering and the output of forward engineering. In general, the outputs of forward and reverse engineering can be inconsistent in their abs

일반적으로 리스크 관리는 리스크 확인, 리스크 분석, 리스크 평가, 리스크 대책, 리스크 재평가를 포함하는 일련의 과정으로 구성된다. 본 논문에서는 쉴드 TBM 터널에서 발생 가능한 리스크 요인들을 여러 문헌 자료와 워크샵을 바탕으로 조사하였다. 리스크 요인들은 지질 요인, 설계 요인, 시공 관리 요인으로 구분되었다. Fault Tree도는 리스크들을 커터, 기계 구속, 배토(굴진), 세그먼트과 관련된 4그룹으로 분류하여 작성되었다. FT도로부터 12가지 리스크 아이템을 확인하고 각각의 발생확률을 구하였다. In general, risk management consists of a series of processes or steps including risk identification, risk analysis, risk evaluation, risk mitigation measures, and risk re-evaluation. In this paper, potential risk

본 논문에서는 쉴드 TBM 터널에서 적용 가능한 리스크 분석 방법을 연구하였다. FTA 방법을 통해 리스크 아이템과 각각의 발생확률을 확인하고 AHP 방법을 통해 각각의 리스크 아이템의 영향도를 구하였다. 마지막으로 각각의 리스크 아이템의 리스크 레벨을 평가할 수 있었다. 개발된 방법을 EPB 쉴드 터널이 사용된 서울 지하철 현장에 적용하여 리스크 분석 결과가 현장 데이터에 부합하는 합리적 결과임을 검증하였다. In this paper, a risk analysis methodology applicable to shield TBM tunnels was studied. Fault Tree Analysis (FTA) was utilized to identify all risk items and to calculate the probability of failure of each item and Analytic Hierarchy Process (AHP) was used to obtain

In process-driven software development environment, process management plays an important role during the process execution. In order to achieve effective management of software processes, managerial decision makings on development process need to be based on the analysis of the software processes regarding the development environment. In this paper we propose a new approach to process management through the formal process modeling and analysis techniques, called MAM nets based on Pr/T net forma