Browse "School of Computing(전산학부)" by Author 1055

Showing results 37 to 86 of 86

37
OCL을 이용한 UML 2.0 행위 모델의 시간 일관성 검사

한아림; 전상욱; 홍장의; 배두환, 한국정보과학회 종합 학술 대회, v.33, no.1-C, pp.181 - 183, 한국정보과학회, 2006-06

38
Operational Architecture에 기반한 임베디드 소프트웨어의 계층적 모델링

전상욱; 홍장의; 배두환, 한국정보과학회 소프트웨어공학 학술 대회, 한국정보과학회, 2006

39
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

40
Program chairs' message

Bae, Doo-Hwan; Chu, William C., 11th Asia-Pacific Software Engineering Conference, APSEC 2004, 2004-11-30

41
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

42
SCADE를 이용한 멀티 에이전트 시스템 설계 사례연구 및 분석

채철우; 신동환; 지은경; 홍광의; 배두환, 2014 한국정보과학회 제41회 정기총회 및 동계학술발표회, pp.399 - 401, 한국정보과학회, 2014-12-18

43
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

44
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

45
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

46
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

47
Towards Coping with Role-binding Anomaly

Lee, Joon-Sang; Bae, Doo-Hwan; Han, Ikju, Proceedings of Reflection, v.2192, 2001

48
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

49
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

50
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

51
UML Activity Diagram 을 통한 비즈니스 프로세스 모델링 가능성 분석

고현민; 손명근; 오윤주; 배두환, 한국정보과학회 2003년도 봄 학술발표, v.30, no.1, pp.112 - 114, 한국정보과학회, 2003-04

52
UML Activity Diagram을 통한 비즈니스 프로세스 모델링 가능성 분석

고현민; 손명근; 오윤주; 배두환, 한국정보과학회 춘계 학술 대회, pp.112 - 114, 한국정보과학회, 2003

53
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

54
UML/OCL을 이용한 기업형 컴포넌트의 자동화 시험 환경

김상운; 마유승; 강제성; 배두환; 권용래, 한국정보과학회 2001 추계학술대회, v.28, no.2, pp.553 - 555, 한국정보과학회, 2001

55
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

56
개발자 능력을 고려한 소프트웨어 모델 할당 자동화 기법

강동원; 윤경아; 배두환, 한국정보과학회 소프트웨어공학 학술 대회, 한국정보과학회, 2006

57
고장 감내 자율적 객체

김인규; 홍장의; 배두환, 한국정보과학회 소프트웨어공학 회지, pp.19 - 29, 한국정보과, 2000

58
공통 운영 환경 세그먼트 개발 방법

손명근; 고현민; 윤경아; 배두환, 한국정보과학회 춘계 학술대회, pp.79 - 81, 한국정보과학회, 2003

59
공통운용환경 세그먼트 개발 방법

손명근; 고현민; 윤경아; 배두환, 한국정보과학회 학술발표, v.30, no.1, pp.79 - 81, 한국정보과학회, 2003-04

60
내장형 S/W 개발 시 명령어패턴을 이용한 모델기반의 에너지 소모 예측 기법

홍장의; 전상욱; 한아림; 임형인; 배두환, 한국정보과학회 학술대회, v.11, no.1, pp.122 - 129, 한국정보과학회, 2009

61
다차원적 데이터 분석을 지원하기 위한 소프트웨어 측정 데이터 모델의 확장

진용호; 김수현; 윤경아; 배두환, 한국정보과학회 소프트웨어공학 학술 대회, 한국정보과학회, 2006

62
비기능성 기반 디자인 재구성

권재은; 김형호; 배두환, 한국정보과학회 가을 학술 발표 대회, v.27, no.2, pp.367 - 369, 한국정보과학회, 2000-10

63
사례기반 추론을 활용한 지식 기반 프로세스 테일러링 기법

강동원; 송인권; 배두환, 한국소프트웨어공학 학술대회, 한국정보과학회, 한국정보처리학회, 2010-02

64
서버컴포넌트의 확장성 중가를 위한 재구성 기법

권재은; 김형호; 배두환, 한국소프트웨어공학 학술대회, pp.128 - 136, 2001

65
소프트웨어 개발자의 행동패턴을 이용한 작업기반 소프트웨어 개발 공수측정 및 분석

Woo, Seok-Joong; Yoon, Kyung-A; Bae, Doo-Hwan, 한국정보과학회 소프트웨어공학기술 합동 워크샵, v.5, no.1, pp.42 - 52, KSEJW, 2007-08

66
소프트웨어 프로젝트 계획에서의 구체적 실무 이슈를 반영한 자동화된 인력 할당 기법

화지민; 박지훈; 신동환; 홍광의; 서영석; 배기곤; 배두환, 2013 한국 소프트웨어공학 학술대회(KCSE 2013), 한국정보과학회 소프트웨어공학 소사이어티, 2013-01-30

67
스마트 기기 자율 협업 검증 프레임워크

홍광의; 임유진; 신동환; 지은경; 배두환, 2014 한국컴퓨터종합학술대회, pp.454 - 456, 한국정보과학회, 2014-06-27

68
시뮬레이션을 이용한 점진적 모델의 특성이 공수 및 일정에 미치는 영향 분석

김현정; 박승훈; 최경식; 배두환, 한국정보과학회 소프트웨어공학 학술 대회, v.10, no.1, pp.318 - 325, KCSE, 2008-02

69
실무 요구사항을 고려한 소프트웨어 프로젝트 계획 생성 지원 기법 및 도구

박지훈; 신동환; 홍광의; 서동원; 화지민; 배기곤; 서영석; et al, 2014 한국소프트웨어공학 학술대회, v.16, no.1, pp.66 - 67, 소프트웨어공학 소사이어티, 2014-02-13

70
실시간 모델 기반 테스트 케이스를 코드 테스트에 적용하기 위한 방법

서동원; 지은경; 배두환, 2013 한국정보과학회 제40회 정기총회 및 추계학술발표회, pp.490 - 492, 한국정보과학회, 2013-11-15

71
실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법

홍광의; 지은경; 배두환, 2013 한국컴퓨터종합학술대회, pp.520 - 522, 한국정보과학회, 2013-06-26

72
안정적 확장이 보장되는 소프트웨어를 위한 정형적 조합 법칙

이선애; 이준상; 배두환, 한국정보과학회 춘계 학술대회, pp.10 - 12, 한국정보과학회, 2003

73
연관성 규칙을 활용한 비기능 요구사항에의 추적성 향상에 대한 연구

강동원; 박승훈; 이찬희; 배두환, 한국정보과학회 학술대회, 한국정보과학회, 2009-02

74
요구사항 단계에서의 메뉴 관계 분석을 통한 휴대폰의 사용성 측정

이희진; 이준상; 배두환, 한국정보과학회 학술대회, 한국정보과학회, 2009-02

75
원전 안전성 계측 제어 계통의 소프트웨어 개발 프로세스의 CMMI 기반 평가

박승훈; 윤경아; 전상욱; 배두환, 한국정보과학회 추계학술대회, pp.265 - 267, 한국정보과학회, 2003

76
유스케이스 트랜잭션 기반의 소프트웨어 공수 예측 기법

이선경; 강동원; 배두환, 한국정보과학회 2009 가을 학술발표, 한국정보과학회, 2009-11

77
의료 도메인 자가 적응형 시스템 정형 검증 사례연구 및 분석

임유진; 신동환; 지은경; 박지훈; 배두환, 2014 한국소프트웨어공학 학술대회, v.16, no.1, pp.15 - 22, 소프트웨어공학 소사이어티, 2014-02-13

78
이상치 제거 기법을 이용한 소프트웨어 공수 예측 모델의 경험적 분석

서영석; 윤경아; 배두환, 한국정보과학회 소프트웨어공학 학술대회, v.10, no.1, pp.354 - 355, KCSE, 2008-02

79
임베디드 소프트웨어 설계 모델의 추상화 수준에 따른 전력소모 예측 기법

임형인; 송인권; 전상욱; 한아림; 홍장의; 배두환, 소프트웨어공학 학술 대회, KCSE, 2008-02

80
임베디드 소프트웨어 행위 기술 모델링을 위한 시퀀스 다이어그램의 확장

이희진; 송인권; 전상욱; 홍장의; 배두환, 한국정보과학회 추계 학술 대회, v.32, no.2, pp.340 - 343, 한국정보과학회, 2005-11

81
중소규모 조직을 위한 소프트웨어 프로세스 모델

강동원; 박승훈; 홍장의; 이병걸; 박수용; 고병선; 배두환, 한국정보과학회 소프트웨어공학 학술대회, 한국정보과, 2007

82
중첩된 구조의 유즈케이스 모델을 이용한 임베디드 시스템의 요구사항 분석 방법 제안

진용호; 배두환, 한국정보과학회 추계 학술대회, pp.487 - 489, 한국정보과학회, 2001-10

83
지식 기반의 소프트웨어 프로세스 테일러링을 위한 유사 프로세스 추출 기법

한아림; 강동원; 김현정; 배두환, 한국소프트웨어 공학기술 합동 워크샵, KSEJW, 2007-08

84
지식 기반의 소프트웨어의 PSM 모델 개발을 위한 UML 모델의 자동 매핑 기법

한아림; 강동원; 짐현정; 배두환, 한국정보과학회 소프트웨어공학 기술 합동 워크샵, 한국정보과학회, 2007

85
타임드 오토마타 모델 기반 테스팅 기법 분석

김한석; 지은경; 배두환, 2014 한국컴퓨터종합학술대회, pp.523 - 525, 한국정보과학회, 2014-06-27

86
효과적인 모델 기반 안드로이드 GUI 테스팅을 위한 동일 화면 비교 기법

백영민; 홍광의; 이정현; 배두환, 2015 한국컴퓨터종합학술대회, pp.549 - 551, 한국정보과학회, 2015-06

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0