Showing results 37 to 86 of 86
OCL을 이용한 UML 2.0 행위 모델의 시간 일관성 검사 한아림; 전상욱; 홍장의; 배두환, 한국정보과학회 종합 학술 대회, v.33, no.1-C, pp.181 - 183, 한국정보과학회, 2006-06 |
Operational Architecture에 기반한 임베디드 소프트웨어의 계층적 모델링 전상욱; 홍장의; 배두환, 한국정보과학회 소프트웨어공학 학술 대회, 한국정보과학회, 2006 |
Process instance management facilities based on the meta process models Park, Seunghun; Min, Sangyoon; Bae, Doo-Hwan, 2011 International Conference on Computational Science and Its Applications, ICCSA 2011, pp.326 - 341, 2011 International Conference on Computational Science and Its Applications, ICCSA 2011, 2011-06-20 |
Program chairs' message Bae, Doo-Hwan; Chu, William C., 11th Asia-Pacific Software Engineering Conference, APSEC 2004, 2004-11-30 |
Safety Verification of Ada95 Programs Using Software Fault Trees Min, Sang-Yoon; Jang, Yoon-Kyu; Cha, Sungdeok; Kwon, Yong-Rae; Bae, Doo-Hwan, SAFECOMP 99, pp.226 - 238, Springer Verlag (Germany), 1999 |
SCADE를 이용한 멀티 에이전트 시스템 설계 사례연구 및 분석 채철우; 신동환; 지은경; 홍광의; 배두환, 2014 한국정보과학회 제41회 정기총회 및 동계학술발표회, pp.399 - 401, 한국정보과학회, 2014-12-18 |
Scalable Mobile Agents Supporting Dynamic Composition of Functionality Kim, In-Gyu; Hong, Jang-Eui; Bae, Doo-Hwan; Han, Ik-Joo; Youn, Cheong, The Fourth Iternational Conference on Autonomous Agents, Workshop Infrastructure for Scalable Multi-Agents Systems, pp.199 - 213, Springer Verlag (Germany), 2001 |
Software fault prediction models for Web applications Giang, Le Truong; Kang, Dongwon; Bae, Doo-Hwan, 34th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2010, pp.51 - 56, IEEE, 2010-07-19 |
Specification Seeding Method(SSM): Automatic Component Software Generation Using Spontaneous Composition Between Components Park, WJ; Joo, BG; Bae, Doo-Hwan, Software Engineering, Artificial Intelligence, Networking & Paralle/Distributed Computing, pp.817 - 824, 2001 |
Tailoring and Verifying Software Process Yoon, Il-Chul; Min, Sang-Yoon; Bae, Doo-Hwan, Asia Pacific Software Engineering Conference, pp.202 - 209, IEEE, 2001-12 |
Towards Coping with Role-binding Anomaly Lee, Joon-Sang; Bae, Doo-Hwan; Han, Ikju, Proceedings of Reflection, v.2192, 2001 |
Towards Coping with Role-Binding Anomaly Lee, Joon-Sang; Bae, Doo-Hwan; Han, Ik-ju, Metalevel Architectures and Separation of Crosscutting Concerns, pp.272 - 273, Springer Verlag (Germany), 2001 |
Towards Unified Architecture Description Containing Component's Behavior Park, Wei-Jin; Kim, Tai-Hyo; Bae, Doo-Hwan; Cha, Sungdeok, Reusable Architecture for Distributed Information Systems(RACDIS), RACDIS, 1999 |
Trends in Software Design for Distributed Computing Systems You, Stephen S.; Jia, Xiaoping; Bae, Doo-Hwan, Future Trends of Distributed Computing Systems, pp.154 - 160, IEEE, 1990-09 |
UML Activity Diagram 을 통한 비즈니스 프로세스 모델링 가능성 분석 고현민; 손명근; 오윤주; 배두환, 한국정보과학회 2003년도 봄 학술발표, v.30, no.1, pp.112 - 114, 한국정보과학회, 2003-04 |
UML Activity Diagram을 통한 비즈니스 프로세스 모델링 가능성 분석 고현민; 손명근; 오윤주; 배두환, 한국정보과학회 춘계 학술 대회, pp.112 - 114, 한국정보과학회, 2003 |
UML-based modeling and simulation method for mission-critical real-time embedded system development Choi, Keung Sik; Jung, Sung-Chul; Kim, Hyun-Jung; Bae, Doo-Hwan; Lee, Dong-Hun, IASTED International Conference on Software Engineering, as part of the 24th IASTED International Multi-Conference on APPLIED INFORMATICS, pp.160 - 165, IASTED, 2006-02-14 |
UML/OCL을 이용한 기업형 컴포넌트의 자동화 시험 환경 김상운; 마유승; 강제성; 배두환; 권용래, 한국정보과학회 2001 추계학술대회, v.28, no.2, pp.553 - 555, 한국정보과학회, 2001 |
Using classpects for integrating non-functional and functional requirements Marew, Tegegne; Bae, Doo-Hwan, IASTED International Conference on Software Engineering, as part of the 24th IASTED International Multi-Conference on APPLIED INFORMATICS, pp.142 - 147, IASTED, 2006-02-14 |
개발자 능력을 고려한 소프트웨어 모델 할당 자동화 기법 강동원; 윤경아; 배두환, 한국정보과학회 소프트웨어공학 학술 대회, 한국정보과학회, 2006 |
고장 감내 자율적 객체 김인규; 홍장의; 배두환, 한국정보과학회 소프트웨어공학 회지, pp.19 - 29, 한국정보과, 2000 |
공통 운영 환경 세그먼트 개발 방법 손명근; 고현민; 윤경아; 배두환, 한국정보과학회 춘계 학술대회, pp.79 - 81, 한국정보과학회, 2003 |
공통운용환경 세그먼트 개발 방법 손명근; 고현민; 윤경아; 배두환, 한국정보과학회 학술발표, v.30, no.1, pp.79 - 81, 한국정보과학회, 2003-04 |
내장형 S/W 개발 시 명령어패턴을 이용한 모델기반의 에너지 소모 예측 기법 홍장의; 전상욱; 한아림; 임형인; 배두환, 한국정보과학회 학술대회, v.11, no.1, pp.122 - 129, 한국정보과학회, 2009 |
다차원적 데이터 분석을 지원하기 위한 소프트웨어 측정 데이터 모델의 확장 진용호; 김수현; 윤경아; 배두환, 한국정보과학회 소프트웨어공학 학술 대회, 한국정보과학회, 2006 |
비기능성 기반 디자인 재구성 권재은; 김형호; 배두환, 한국정보과학회 가을 학술 발표 대회, v.27, no.2, pp.367 - 369, 한국정보과학회, 2000-10 |
사례기반 추론을 활용한 지식 기반 프로세스 테일러링 기법 강동원; 송인권; 배두환, 한국소프트웨어공학 학술대회, 한국정보과학회, 한국정보처리학회, 2010-02 |
서버컴포넌트의 확장성 중가를 위한 재구성 기법 권재은; 김형호; 배두환, 한국소프트웨어공학 학술대회, pp.128 - 136, 2001 |
소프트웨어 개발자의 행동패턴을 이용한 작업기반 소프트웨어 개발 공수측정 및 분석 Woo, Seok-Joong; Yoon, Kyung-A; Bae, Doo-Hwan, 한국정보과학회 소프트웨어공학기술 합동 워크샵, v.5, no.1, pp.42 - 52, KSEJW, 2007-08 |
소프트웨어 프로젝트 계획에서의 구체적 실무 이슈를 반영한 자동화된 인력 할당 기법 화지민; 박지훈; 신동환; 홍광의; 서영석; 배기곤; 배두환, 2013 한국 소프트웨어공학 학술대회(KCSE 2013), 한국정보과학회 소프트웨어공학 소사이어티, 2013-01-30 |
스마트 기기 자율 협업 검증 프레임워크 홍광의; 임유진; 신동환; 지은경; 배두환, 2014 한국컴퓨터종합학술대회, pp.454 - 456, 한국정보과학회, 2014-06-27 |
시뮬레이션을 이용한 점진적 모델의 특성이 공수 및 일정에 미치는 영향 분석 김현정; 박승훈; 최경식; 배두환, 한국정보과학회 소프트웨어공학 학술 대회, v.10, no.1, pp.318 - 325, KCSE, 2008-02 |
실무 요구사항을 고려한 소프트웨어 프로젝트 계획 생성 지원 기법 및 도구 박지훈; 신동환; 홍광의; 서동원; 화지민; 배기곤; 서영석; et al, 2014 한국소프트웨어공학 학술대회, v.16, no.1, pp.66 - 67, 소프트웨어공학 소사이어티, 2014-02-13 |
실시간 모델 기반 테스트 케이스를 코드 테스트에 적용하기 위한 방법 서동원; 지은경; 배두환, 2013 한국정보과학회 제40회 정기총회 및 추계학술발표회, pp.490 - 492, 한국정보과학회, 2013-11-15 |
실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법 홍광의; 지은경; 배두환, 2013 한국컴퓨터종합학술대회, pp.520 - 522, 한국정보과학회, 2013-06-26 |
안정적 확장이 보장되는 소프트웨어를 위한 정형적 조합 법칙 이선애; 이준상; 배두환, 한국정보과학회 춘계 학술대회, pp.10 - 12, 한국정보과학회, 2003 |
연관성 규칙을 활용한 비기능 요구사항에의 추적성 향상에 대한 연구 강동원; 박승훈; 이찬희; 배두환, 한국정보과학회 학술대회, 한국정보과학회, 2009-02 |
요구사항 단계에서의 메뉴 관계 분석을 통한 휴대폰의 사용성 측정 이희진; 이준상; 배두환, 한국정보과학회 학술대회, 한국정보과학회, 2009-02 |
원전 안전성 계측 제어 계통의 소프트웨어 개발 프로세스의 CMMI 기반 평가 박승훈; 윤경아; 전상욱; 배두환, 한국정보과학회 추계학술대회, pp.265 - 267, 한국정보과학회, 2003 |
유스케이스 트랜잭션 기반의 소프트웨어 공수 예측 기법 이선경; 강동원; 배두환, 한국정보과학회 2009 가을 학술발표, 한국정보과학회, 2009-11 |
의료 도메인 자가 적응형 시스템 정형 검증 사례연구 및 분석 임유진; 신동환; 지은경; 박지훈; 배두환, 2014 한국소프트웨어공학 학술대회, v.16, no.1, pp.15 - 22, 소프트웨어공학 소사이어티, 2014-02-13 |
이상치 제거 기법을 이용한 소프트웨어 공수 예측 모델의 경험적 분석 서영석; 윤경아; 배두환, 한국정보과학회 소프트웨어공학 학술대회, v.10, no.1, pp.354 - 355, KCSE, 2008-02 |
임베디드 소프트웨어 설계 모델의 추상화 수준에 따른 전력소모 예측 기법 임형인; 송인권; 전상욱; 한아림; 홍장의; 배두환, 소프트웨어공학 학술 대회, KCSE, 2008-02 |
임베디드 소프트웨어 행위 기술 모델링을 위한 시퀀스 다이어그램의 확장 이희진; 송인권; 전상욱; 홍장의; 배두환, 한국정보과학회 추계 학술 대회, v.32, no.2, pp.340 - 343, 한국정보과학회, 2005-11 |
중소규모 조직을 위한 소프트웨어 프로세스 모델 강동원; 박승훈; 홍장의; 이병걸; 박수용; 고병선; 배두환, 한국정보과학회 소프트웨어공학 학술대회, 한국정보과, 2007 |
중첩된 구조의 유즈케이스 모델을 이용한 임베디드 시스템의 요구사항 분석 방법 제안 진용호; 배두환, 한국정보과학회 추계 학술대회, pp.487 - 489, 한국정보과학회, 2001-10 |
지식 기반의 소프트웨어 프로세스 테일러링을 위한 유사 프로세스 추출 기법 한아림; 강동원; 김현정; 배두환, 한국소프트웨어 공학기술 합동 워크샵, KSEJW, 2007-08 |
지식 기반의 소프트웨어의 PSM 모델 개발을 위한 UML 모델의 자동 매핑 기법 한아림; 강동원; 짐현정; 배두환, 한국정보과학회 소프트웨어공학 기술 합동 워크샵, 한국정보과학회, 2007 |
타임드 오토마타 모델 기반 테스팅 기법 분석 김한석; 지은경; 배두환, 2014 한국컴퓨터종합학술대회, pp.523 - 525, 한국정보과학회, 2014-06-27 |
효과적인 모델 기반 안드로이드 GUI 테스팅을 위한 동일 화면 비교 기법 백영민; 홍광의; 이정현; 배두환, 2015 한국컴퓨터종합학술대회, pp.549 - 551, 한국정보과학회, 2015-06 |
Discover