Browse "School of Computing(전산학부)" by Author 1055
Showing results 26 to 85 of 86
| Identifying properties of UML state machine diagrams that affect data and control dependence Kim, Hyun Jeong; Debroy, Vidroha; Bae, Doo-Hwan, 26th Annual ACM Symposium on Applied Computing, SAC 2011, pp.1464 - 1469, ACM, 2011-03-21 |
| Implied scenario analysis in UML 2.0 scenario specfication Song, In-Gwon; Jeon, Sang-Uk; Hong, Jang-Eui; Bae, Doo-Hwan, International Conference on System Integration and reliability Improvements, v.1, no.1, IEEE Computer Society, 2006-12 |
| Implied scenario analysis in UML 2.0 scenario specification Song, In-Gwon; Jeon, Sang-Uk; Bae, Doo-Hwan; Hong, Jang-Eui, International Conference on System Integration and Reliability Improvement, SIRI, 2006-12 |
| Interaction-Based Behavior Modeling of Embedded Software Jeon, Sang-Uk; Hong, Jang-Eui; Bae, Doo-Hwan, International Symposum on Object and Component-Oriented Real-Time Distributed Computing, pp.351 - 358, 2006 |
| K-NN과 최대 우도 추정법을 결합한 소프트웨어 프로젝트 수치 데이터용 결측값 대치법에 관한 연구 이동호; 윤경아; 배두환, 한국 정보과학회 추계학술대회, v.35, no.2-A, pp.41 - 42, 한국정보과학회, 2008-10 |
| Mam nets: A Petri-net based Approach to Software Process Modeling, Analysis, and Management Min, Sang-Yoon; Bae, Doo-Hwan, International Conference of Software Engineering and Knowledge Engineering, pp.78 - 86, 1997 |
| Management of Workflow over the Web Supporting Distributed Process Evolution Min, Sang-Yoon; Bae, Doo-Hwan; Cho, Sung-Chan; Nam, Young-Kwang, LNCS1749: ICSC'99, v.1749, pp.367 - 372, Springer Verlag (Germany), 1999-12 |
| Modeling the Unexpected behaviors of Embedded Software using UML Sequence Diagrams Lee, Hee-Jin; Song, In-Gwon; Jeon, Sang-Uk; Hong, Jang-Eui; Bae, Doo-Hwan, International Conference on Softwre and Data Technology, 2006 |
| Modelling the unexpected behaviours of embedded software using UML sequence diagrams Lee, Hee-Jin; Song, In-Gwon; Jeon, Sang-Uk; Bae, Doo-Hwan; Hong, Jang-Eui, 1st International Conference on Software and Data Technologies, ICSOFT 2006, pp.257 - 262, ICSOFT, 2006-09-11 |
| MPSoC 용 임베디드 소프트웨어의 PSM 모델 개발을 위한 UML 모델의 자동 매핑 기법 송인권; 오기영; 홍장의; 배두환, 한국정보과학회 소프트웨어공학학술 대회, v.9, no.1, pp.152 - 159, KCSE, 2007-02 |
| MTS기반 트랜잭션 시스템의 안전성 검증 윤일철; 김형호; 배두환, 한국정보과학회 봄 학술발표대회, v.27, no.1, pp.492 - 494, 한국정보과학회, 2000-04 |
| 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 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,773 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989