http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
김형섭(Hyungseob Kim),배두환(Doohwan Bae) 한국정보과학회 1997 정보과학회논문지(B) Vol.24 No.5
소프트웨어 재사용은 소프트웨어 개발에서 생산성 향상과 품질 향상에 크게 기여한다. 이러한 소프트웨어 재사용을 위해서는 기존 소프트웨어 시스템에서 재사용성이 높은 부품들을 추출하는 것이 매우 중요하다. 소프트웨어 재사용은 수정 없는 재사용과 수정을 통한 재사용으로 구별 될 수 있다. 수정을 통한 재사용에서는 수정성이 가장 중요한 품질이 된다. 왜냐하면 수정에 드는 비용이 지나치게 많아서 부품을 새로 작성하는 것 보다 비용이 많이 든다면 굳이 수정을 통한 재사용을 할 필요가 없기 때문이다. 이러한 수정성을 높이기 위해서는 높은 이해성, 그리고 다른 부품들에 대한 낮은 파급효과가 필요하다. 반면에 수정 없는 재사용에서는 정보 은닉이 핵심이 된다. 왜냐하면 정보 은닉이 잘 되어 있을수록 소프트웨어 부품들의 구현상의 세부 사항들을 알지 않고 이용할 수 있으므로 수정 없는 재사용에 유리하기 때문이다. 본 연구에서는 수정 없는 재사용성과 수정을 통한 재사용성의 측정을 위한 새로운 모델을 제안한다. 또한 이 모델을 구성하는 인자들과 측정 기준도 제안한다. Software reuse greatly increases productivity and enhances quality in software development. The extraction of reusable software components from existing software systems is critical to effective software reuse. Software reuse is classified into black-box reuse and white-box reuse. In white-box reuse, modifiability is the most important quality. If modification cost is greater than production cost then there is no need to reuse with modification. High understandability and low ripple-effect between software components are essential for increasing modifiability. In black-box reuse, however, information-hiding is the most important quality. The better the information-hiding, the better the black-box reuse, because we need not know the implementation details of every software components. We propose a new model for measuring of black-box reusability and white-box reusability. Also the factors of the model, and the measurement criteria are proposed.
내장형 실시간 시스템의 소프트웨어 아키텍처 리엔지니어링 사례연구
천석호(Seokho Cheon),배두환(DooHwan Bae) 한국정보과학회 2011 한국정보과학회 학술발표논문집 Vol.38 No.2B
내장형 시스템 소프트웨어의 복잡성이 증가하면서 소프트웨어 아키텍처의 중요성이 강조되고 있다. 기존의 구조화와 재사용 성을 고려하지 않은 소프트웨어 아키텍처는 하드웨어의 잦은 변화에 대응하기에는 부족하다. 특히 단말 모뎀 소프트웨어 도메인에서는 동일한 소프트웨어를 사용하여 여러 가지 모뎀 칩에 적용해야 하는 환경을 조성하고 있다. 잦은 하드웨어의 변화에 대응하기 위해서는 그러한 환경에 적합한 아키텍처를 선정하고 비기능적 요구사항을 만족할 수 있어야 한다. 이 논문에서는 이러한 아키텍처를 선정하고 이를 평가할 수 있는 방안을 제시하고 이를 실제 시스템에 적용하여 단말 모뎀 소프트웨어 아키텍처를 제시한다.
실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법 및 사례연구
홍광의(Gwangui Hong),지은경(Eunkyong Jee),서동원(Dongwon Seo),배두환(Doohwan Bae) 한국정보과학회 2013 정보과학회논문지 : 소프트웨어 및 응용 Vol.40 No.12
실시간 시스템을 모델기반 개발 방법론을 적용하여 개발 시, 타임드 오토마타 모델을 만들고 모델 대상으로 정형 검증을 수행한 후, 검증된 모델로부터 코드를 생성할 수 있다. 안전이 보장된 실시간 소프트웨어를 만들기 위해서는 검증된 모델로부터 코드를 생성 시, 모델에서 만족된 속성들이 코드 상에서도 만족되는지 여부를 확인해야 한다. 본 연구는 타임드 오토마타 모델로부터 체계적으로 생성된 코드를 대상으로 모델에서 만족된 속성이 코드에서도 만족되는지 여부를 확인할 수 있는 방법을 제안하고, 심장 박동기의 VVI 모드와 DDI 모드 모델에 제안한 기법을 적용함으로 효과성을 보인다. Following the model-driven development method (MDD), real-time software can be developed by building a timed-automata model, verifying the timed-automata model, and generating a code from the verified timed-automata model systematically. In order to make safety assured real-time software, it is necessary to guarantee that the properties satisfied in the timed-automata model are preserved in the code. We suggest a systematic code verification approach where the code is assumed to be generated from the verified timed-automata model systematically. We demonstrate the effectiveness of the proposed approach by conducting a case study of the VVI mode and the DDI mode of the pacemaker.
사례 연구 : 원전 안전성 계측제어 계통의 소프트웨어 개발 프로세스의 CMMI 기반 평가
박승훈(Seunghun Park),윤경아(Kyounga Yoon),전상욱(Sanguk Jeon),배두환(Doohwan Bae),장훈선(Hoonsun Chang),정재천(Jeachun Jung),김재학(Jaehak Kim),한희한(Heuihan Han) 한국정보과학회 2003 한국정보과학회 학술발표논문집 Vol.30 No.2Ⅱ
소프트웨어 품질에 대한 중요성과 관심이 커짐에 따라 많은 산업체에서 내부 프로세스를 평가하고 개선하려는 노력을 기울이고 있다. 지금까지 프로세스와 관련된 여러 가지 표준들이 제시되었고 최근에는 CMMI가 점차 비중을 키워가고 있다. 이에 따라 원전 안전성 계측제어 계통의 소프트웨어 관련 프로세스를 대상으로 CMMI를 기준으로 평가를 수행함으로써 원전 프로세스의 강점과 약점을 파악하고 프로세스 개선을 위한 방안을 제시하고자 한다.