Cs-Se
실시간 커밋 프로토콜 검증을 위한 밀도시간 모델체크
서비스 주입과 조합을 위한 복합 디자인 패턴 연구
IT에서 서비스 개념의 핵심 역할과 미래 방향
암호학적 경로 강화 소프트웨어 취약점 은닉
소프트웨어 기업의 웹 애플리케이션 개발 및 측정 실천 인식 조사
소프트웨어 프로젝트 정보 흐름 최적화 방법
과학 게이트웨이를 위한 모델 기반 엔지니어링
동적 분석을 통한 클래스 수준 테스트 가능성 탐구
소프트웨어 노력 추정 실무 현황 조사와 문헌 고찰
비즈니스 프로세스 관리의 급속 솔루션 개발 혁신
객체 Z 사양의 구문·의미 분석을 위한 전통 컴파일 기법 적용
클라우드 서비스 탐색과 조합의 불확실성 관리 연구
프로세스 DSL과 웹 기반 편집기 자동차 제조사의 업무 흐름 혁신
객체지향 모델링의 집합론적 시각화
시간 최적 테스트 케이스 생성: 라벨링 우선순위 시간 페트리 넷 활용
클라우드 컴퓨팅 교육을 위한 소프트웨어 엔지니어링 접근법
유연한 메타데이터 추적을 위한 설명 기반 접근법
소프트웨어 개발 인력 성과 예측을 위한 데이터 마이닝 기반 인재 선발 모델
프로세스 성숙을 위한 향상된 CoBRA 방법
변화에 강한 재사용 가능한 시스템 설계: 설명 중심 접근법 재조명
웹 기반 소프트웨어 신뢰성 향상을 위한 PSP 기반 평가 개선 방법론
협업 기반 요구 모델 변환 기법
